We currently have ~7000 instances of poorly translated `<code>` HTML elements in the main branch of [xamarin/android-api-docs](https://github.com/xamarin/android-api-docs/search?q=lt%3Bcode%26gt%3B): $ git grep "lt;code>" | wc -l 7065 We should convert these to `<c>` elements.