Update Github username to IRC nick mapping for #oftn