Wei Dai comments on Please use real names, especially for Alignment Forum?