User blog comment:BigBadSquid/PE Removal: Mizar/@comment-26323420-20190630022039

Yes