Version 0.0.7. First fairly well-tested release. Dropping the "dev" suffix from version number.