So currently, I'd download the file and check it locally? And the resulting hash should be the same as the online filename (minus extension)?