Sorry to take so long to reply, life got busy all of a sudden. I took
your advice and instead made a trivial patch (I don't think I will have
to sign anything) that instead prints an error message that points them
to rmdir and exits.
Thank you,
William
--
"Once GNU is written, everyone will be able to obtain good system software free, just like air."-- RMS in the GNU Manifesto