[trnglina]

> by the way, in contrast with the... Start Menu!

Well, good news! I don't know when this might've changed (I have animations enabled), but I just tested it on Windows 10 2004, and the start menu doesn't animate with animations off.