docs usually get shared to the pants-devel maillist - are you on that?