Aargh. Forgot one more obsolete URL

I should really learn to 'git grep' in the top-level directory rather
than a subdirectory.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>