Oh! When you're first creating a new devlog post there is an HTML edit option:
But when editing an existing devlog (include drafts) the option disappears:
However, even adding all the pre and code tags listed above in HTML edit mode, upon saving it still just shows as regular monospaced text without syntax highlighting. So it seems this just isn't supported atm.