Remove annoying top banner put there by GitHub

[philburk]

I tried the trick "title: null" in the yaml file but it did not work.