I think this ought to be moved out of the devel directory and into the examples directory.  Probably in data, which is where the real galaxy catalog lives.  The devel directory should just be stuff that developers use.  Not users.