Solution: here's public-requires, a library that will rewrite them into
their internet-usable equivalent. This way you can use real local source
code in your documentation, but automatically edited so it can be
copy-pasted by anyone.