Compatibility with 0.13 of the hackerspace state format.