Linking to file-format information; displaying platform-info by every entry; restoring HTML games' download buttons.