Re: [dev-context] Bugs regarding module documentation