! Reverting a user-submitted "bugfix" which wrecked havoc to Download IDs. As of today, we no longer accept user-submitted pull requests to ARS.