jacquesthibs comments on Research agenda: Supervising AIs improving AIs