Get rid of development.log from Github for once and for all. Hopefully.