Hm, strange, I am already following the new location on github without any activity on my side, which I appreciate but did not expect. It seems moving the repository moved some metadata as well 
. Thanks for the good work regarding documentation, it’s IMO a great success already.
Btw, is there a PDF built by CI already? If yes, where could I find it?