Barnacules just told me that he worked on the Windows 8.1 start menu update just before he left in ~2014 before it was cancelled in favor of Windows 10. Anyone remember this, BTW: https://news.ycombinator.com/item?id=7774476