Basic support for passing #someid-1234 through into HTML.
This lets us name examples consistently by extending our
examples .txt format, and very minimally address them like this:
http://localhost:8080/MusicComposition#music-2

Still to do: expose IDs visibly somewhere, or otherwise use them.