I.M.J. McInnis comments on How to (hopefully ethically) make money off of AGI