Dave Lindbergh comments on A shortcoming of concrete demonstrations as AGI risk advocacy