User blog comment:BigBadSquid/PE Removal: Mizar/@comment-27022982-20190628163200

Yes.