File deletion (to get another commit to server, since gh-pages is not updated)