This post started because I wondered how to get the keystroke formatting that @jeremy uses sometimes. I actually had a look at the raw html source to figure that one out! but there’s a few other tips in the above link for those that want to get more out of the platform.
It’s by no means exhaustive, so feel free to add tips on this thread.
PS to create keystrokes i used