updates to implementation.html

I didn't realize these were footnotes at first. I can handle making them look more obviously like footnotes, but we should link to them as well so it's an easy jump. It's also a good idea, when doing a lot of anchor linking, to provide people a way to get back to where they came from.