SF Mono is by far my favorite, unfortunate it can’t be included
It can be extracted from the apple dev fonts dmg if you want to use it in your editor on a non-OSX platform
Here's the location of the Ark, for those still curious:
https://github.com/thelioncape/San-Francisco-family/tree/mas...