I don't really have a preference, but we use HTML a lot throughout all of the documentation, so I picked the one used more often to make it consistent. We can change it when we do another overhaul.