Then the story was wrong.  As a crichton consumer, I should expect to use this branch, and use rdlint to make sure my new format is valid.  Now, rdlint is useless.  It should, then, no longer be provided.  Otherwise, it means that this PR adds new features at the expense of creating new bugs.