Under MacOS, the standard text editor that comes with the system, TextEdit, uses a sans-serif monospace font named Menlo as its default. At least I think it's the default. I don't remember reconfiguring it when I bought a new iMac a year ago, with a MacOS several versions higher than the one I had been using on my ancient Mac Pro.
Among the fonts you mentioned, TextEdit's font selector also offers Georgia and Tahoma, but not Bookman, which I remember using long ago in an earlier version of MacOS. All of these are proportional fonts (not monospace).
As an old-school programmer who "grew up" on card-punch machines, then on ASCII video terminals with a fixed character width, I've always used monospace fonts for programming code, including HTML. Maybe tastes are different now?
Other monospace fonts that I've used under MacOS (and are offered by TextEdit) are Monaco (sans-serif) and Courier (serif).