You should be allowed to use HTML <code>
tags and backslash-escape the backticks. Unfortunately, lobsters silently strips code tags instead of treating them as equivalent to backtick escapes.
For example <code>\`test\`</code>
looks like `test`
This kind of corner-case nonsense is why the Markdown format is supposed to allow HTML. Even if you use further sanitization to limit the set of available HTML tags, I still ought to be allowed to use the HTML powers that are equivalent to what Markdown already gives me.