A few minor improvements to the "Module development" documentation