The extraction tool was broken for a while, so let's make sure this doesn't happen in the future. Plus we can start enforcing some formatting details about the specs. [ --check-alignment added by Rusty ]
