Pandoc converted happyhttp docs