[throwaway823882]

I have tried to get them to update some of their docs before, and they basically told me to just write a comment (at the bottom of 130+ other comments). It's great that they have so many docs, though.