Comment by lproven

5.0 -> 5.1. Doesn't sound like a big deal to me.

OTOH, there was more difference than between Windows Vista and Windows 7… And everyone hated the former and loved the latter...

But I'm not inclined to argue about this! It's not a big deal either way. :-)