A catalogue of astrophysical parameters derived from Gaia DR2 and other
catalogues prepared and rsync-uploaded by Morgan.

Producing a sample from an HDF5 file apparently is rather non-trivial.
I ended up writing some very custom code for it; to make a sample, run
python3 res/make-sample.py.