Looking for this code font from Discord support

[Doom Ronie]

Hello, I recently saw a blog about changes in discord, the post is old, but I liked the the text font from the screenshot provided as example

Link to the source :https://support.discordapp.com/hc/en-us/articles/210298617-Markdown-Text-101-Chat-Formatting-Bold-Italic-Underline-#article-comments

[Riccardo Sartori]

Based on |*|, I would say Menlo.

[Doom Ronie]

Thank you