The plugin we use to allow for file downloads had undergone several updates since we started the site, and so the shortcode was no longer keeping the documents sorted properly. We have now updated the shortcodes. This keeps the manuals, emulators, and data transfer utilities separated into the proper categories.