This is no longer relevant since we merged the Developer and the User Guides into a single document which was rewritten from scratch.