Once we have multiple implementations agreeing on test vectors, we should "finalize" them, in the sense of making them more intelligible and more permanent.