Practically the server side equivalent of my nodelet hack?
IMHO the difference is that in the nodelet hack the load is distributed amongst the clients whereas otherwise its taken up by the server. ( A good thing )
But considering that this entire thing might be something that newbies will find useful, it might make sense to have it as part of some default JS loaded.
A server side redirect though, will cause less load and will solve this even for those accessing the site through some automated means. ( other than through a browser )