Proper emphasis of the github username as public name in cl.