Fix issue #2: encode anchor names in links