AFAIK it's not that he allowed them, but APNG was not widespread until 2017 or so (when Chrome started supporting it) so he didn't have detection implemented.