Erik Moeller wrote:
She mailed me privately and said that it would be OK to
change all
occurances of "J Hofmann Kemp" to "JHK".
That's even simpler than "Professor XYZ".
I changed her username and the
article histories, but changing the talk page sigs is a bit of work, and
I'm wary of running a potentially destructive SQL query on hundreds of
pages.
There are less than 600 pages that link to [[User:JHK]],
[[User talk:JHK]], and their redirects.
If we split things up, then we might be able to go through these by hand.
Then a search for "Hofmann Kemp" hopefully won't find many more.
Alternatively, perhaps it'd be safe to run an SQL query
that turn all links to [[User:JHK]] or its redirects
into [[JHK|User:JHK]] no matter what -- but does /only/ links.
Then the search for "Hofmann Kemp" will give us the first start by hand.
-- Toby