User blog comment:BigBadSquid/PE Removal: Mizar/@comment-36872961-20190629015622

Cut.