@loladiro, I was mostly intending to use that as a foil to stab @pao with :-).

As for the postinstall.jl name/design, I should fess up and say https://github.com/timholy/Profile.jl/tree/master/src is to blame. Avik beat me to this (but in a good way, I hadn't thought through the temporary module trick).