We won't be able to get around this URL presenting a false positive
to the link checker. What we CAN do, though, is put in a HTML
comment to save frustration, month after month.