HI all - Thanks, Toby for your suggestions on helping.
I'm doing a lot
of the cleanup by myself since I can understand Erik's reluctance to do
a SQL search and replace. Out of curiosity, has my old name been
replaced in article histories? Anyway, if anyone feels like helping do
the changes by hand, that would be great. Otherwise, I'll keep going,
and perhaps if someone runs into my old name, he or she could just
change it to [[User:JHK|JHK]]? Thanks bunches!
I'm not sure who all worked on this -- it mostly wasn't me --
but there are now no text search results for "Hofmann Kemp",
and no links to any page with "Hofmann Kemp" in its name.
(There may be scattered references to "Julie" or the like,
but these would be difficult to identify.)