Username comments on Instrumental Rationality Questions Thread