[PATCH] Add a bit of developer documentation to pull.h