Hmm, those docs look really outdated...  And I wasn't aware we had them!