I just want to second Davin's feedback. Without adding too much clutter to the page, I think it could be useful to have some sort of global switch for displaying OSX or Windows shortcuts - just doubling the list for more or less the same content would seem a bit redundant and waste a ton of space.