AL> Надо бы вернуть на гитхаб, раз всем надо не гит, а именно гитхаб.

Без разницы на сервер, но нам нужна своевременная правка документации

Вот, полюбуйся:

git clone https://github.com/vit1-irk/new-docs
cd new-docs

grep -r spline1986 .

И только бы кто-нибудь позаботился, да поправил ссылки. Можешь как раз это и сделать, у тебя RW-доступ в доку.