Use overlays for url numbers

There are two commits:

The first uses overlays instead of text for the url numbers. If the text is copy-pasted, they won't be included.

The second prevents some errors. The "keymap" and the "property" areas are not identical -- the "keymap" also includes the character immediately afterwards, so not having a property when these bindings are run is "normal".