Indeed. and he didn't insult the inventor of algorithms either. Look, not all jokes involving females are insulting Ada Lovelace. Not all jokes about gay people are insults of Alan Turing. Not all jokes about a specific practice of muslims are insults to Muḥammad ibn Mūsā al-Khwārizmī.