Fluffy umbrella

Move to github.

(Somebody once said they take gitlab seriously, but this was a long time ago.)