User blog comment:BigBadSquid/PE Removal: Mizar/@comment-38972428-20190629183641

Cut