“Artificial General Intelligence”: an extremely brief FAQ — AI Alignment Forum