Will give you access to a zip.

Either this or a zipped file is equally fine.

We should add them. We already have them in another (nonpublic) repository with
a suitable directory structure and with some useful suites defined, so I think
the best thing would be to take them from there. I have too much on my plate at
the moment, though. Shall I ask the repository owners if they can give you access?

Should I include the sat and opt domains from the satisficing track, or do you 
want to do this, or do you want to keep them out?