Proposal: Clean-up ODM repo

The ODM repo, although the source code is only a few dozen MB, weighs an astonishing 1.05GB.

I propose at the next release we run a tool such as to remove whatever blobs of binary data might be taking so much space.

This has the downside that people will have to make a fresh clone of the repository.