Gratuitous change to file layout

Seems nice to have the top-level directory a bit cleaner.  Probably
doesn't make any real difference.  Oh well.