Minimal redirector for the trac.openstreetmap.org to the archived tickets - View it on GitHub