User blog comment:BigBadSquid/PE Removal: Mizar/@comment-24719801-20190629041729

cut.