What we have been working on, and things worth knowing.
A reference, a link, and no searchable register. Here is why we built verification the smallest way we could.