modules: describe both module filename styles without giving a clear preference#1703

RalfJung wants to merge 4 commits intorust-lang:masterrust-lang/reference:masterfrom

RalfJung:mod-pathRalfJung/reference:mod-pathCopy head branch name to clipboard