Unhide lines in rustdoc's doc -- Closes #11645