That's too bad! So, we need to change the linker later. Let's keep the URL as is but please add a FIXME comment so that we remember to fix it ASAP.