Thingiverse files download

Just found out about this, so if it has been stated before, just ignore me.
Thingiverse “download all files” has bee broken for a while. But I saw this, tried it, and it works.
When you click on “download all files”.
Go up to the address bar and change the “files” to “zip” and it will download all files as a zip file.

example…
thingiverse.com/thing:5247325/files
change to…
thingiverse.com/thing:5247325/zip

nice to know, I wondered what was going on there, Have had to download a bunch of stuff lately file by file,

Thanks for the information.