PR #247 review: empty Procedures fold with the other Work sections; developer guide, user page and #218 design updated