docs: update new rules for username normalization (!5771) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge jc/update-username-normalization-docs into master Sep 30, 2019

Created by: unknwon

In respect to #5680.

Basically, copy-pasted comments to docs (as we did before).