The BSON library contains a lot of intricate code for interop with serde, some of which was written long ago by the community. It would be helpful to have an architecture guide that explained the code at a high level, since it isn't really easy to grok just by looking at it.