name changes
-
user guide (@DioneMentis) -
website (@julientaq) -
gitlab group and projects name (@DioneMentis) -
gitlab project md files in ketty/ketty (@DioneMentis) -
docker images (@grgml) -
update url on pages that link to website (@DioneMentis) -
gitlab project md files in ketty/server (@grgml )