User blog comment:BigBadSquid/PE Removal: Mizar/@comment-33286111-20190629073115

Cut Barry/Mizar.