Merge: no_warning: modules without a module clause do not cause `missing-doc`