Currently to add a description to a module, one must set a top-level description variable. It would be more intuitive to use a docstring attached to the top-level type.

(We already have consensus via discord, filing here for tracking purposes)