gwern comments on Modafinil now covered by insurance