yes, *.github.com is dangerous, but for what I am doing for the moment ...
trying to figure out why suddenly the tabdiv-paper stopped working