Ya, Seems they have! I didnt look until you now said it is gone! Maybe they pulled it because of a issue? Not sure, I do know I saw it there before though

*EDIT*
Found out why, F8 had RAID5 issues, and would not properly flash if Clear CMOS and DMI was not enabled during flash and so was quickly pulled and replaced with F9a and F9b

Ya, there is a Few still hidden, but the MIT should be fully visible and Hotkey no longer needed. I know what ya mean force of habit, I often still hit it myself and forget cause I was so used to doing it