Talk:Interfectors/@comment-37595749-20200513174016/@comment-34508844-20200513175322

Actually no, it's named after the Spanish word for pig, Cerdo.