This extras directory contains scripts that might be useful
but is not released to the public yet.

These may be removed when we find a way to release them.

They are kept in git for now so they are not lost.
