You can format keyboard strokes like so: <kbd>DEL</kbd> This should be added to the documentation. This was discussed [here](https://discord.com/channels/832282841836159006/969233556788359228/976884979692867594).