Ah... I think I've just found it.  The Hum plugin (installed as an indieweb experiement) - more here: <a href="https://willnorris.com/2011/01/hum-personal-url-shortener-wordpress">https://willnorris.com/2011/01/hum-personal-url-shortener-wordpress</a>