large repo size

[jstac]

This repo seems quite large -- is there a good reason for this?

Can we trim a bit?

[mmcky]

Thanks @jstac -- I have it on my tidy up list to trim the repo sizes (across the board).

I think we can trim the gh-pages history and possible the repo history as well.