PDF is a way to make sure everyone can read the document in the same way (like font type, spaces, special characters…) while HTML can cause multiple issues if you don’t do it properly. And for documentation I would prefer some Markdown as I can edit it with a fancy IDE or feel lazy and do it with terminal editor or plain text editor.