All gems can now be downloaded in a single ZIP file: allgems.zip.
They are called gem0000-gem00xx (and some other names too), not what they are called on the page (ie A BIOS Delay and similar). This means that it is not easy to find anything without open all files and check them. Next revision will use a script to automate this process and then all files will have correct names.