It's not "the guys" but "FreedroidRPG debian package's maintainer". They're
several crazy people but it's not the whole world.

At any rate - your suggested behavior is sound. I think we can do it quickly but
I wouldn't hold my breath about this going in 0.15. The issue has been there for
a decade, you're not going to convince me that all of a sudden it's that
important. :)