axiomAdministrator comments on LessWrong exporting?