Are MIDIs still being used by any popular services, apps, OSs, etc?
The MIDI protocol is still dominant in the professional field for which it was designed: controlling electronic musical instruments.
By "MIDIs" I presume you don't mean MIDI but rather so-called "MIDI Files" (SMF) and the "General MIDI" (GM) spec. This junk was originally designed for consumer-level products like Casio keyboards. General MIDI eventually devolved into the ghetto of cell phone ringtones and other trash. But don't confuse this with MIDI proper, which is a long-lived professional specification controlling often very sophisticated (and costly) devices.
Dave Smith -- largely regarded as the founder of MIDI, lamented this recently too. See 00:25 here: https://www.youtube.com/watch?v=RnemYKi8Tb4