Maybe I should have shared a google docs file that people can edit too and see my newer edits... :/
I think the natural thing to do is to include it in the "html pd documentation".
I can make a PR transferring what you already have in the Pdf to html. Then we can further edit it.
I think I can have the PR tomorrow.
:)