Thread:Nixerix/@comment-24904250-20150905132518

I'm thinking of changing the acronyms of some pages:


 * HMDS -> DS (no need the "HM" there since we dropped it in other games)


 * GB -> GrB (to avoid confusion with GameBoy's GB)


 * ToTT -> TToTT (more correct)

What do you think? 