Done.  We don't panic elsewhere for a few other ``RecordDecoder`` implementations, but we might as well here.  :-)