In reply to mark k..

I assume that applying such tool on the repository will force Otto to kick his “php in widgets” plugin out of it,

Nope. It serves a purpose, but I still tell people how to not use it. Perfectly fine with this idea.