Users may find it convenient to easily copy code from the highlighted code section. Similar to how it's done in GitHub Markdown files. Example: <img src="https://user-images.githubusercontent.com/7894265/232376405-ff6d09ed-f71d-43b4-b0da-3d4b8c92399a.png" width="480" />