This manual is also hosted in a git repository, at https://gitlab.com/splotr/docu/. This means that it can be updated by Infrastructural Manoeuvres and librarians. When there is a change to the GIT, the manual is automatically updated at https://manual.para-doxa.org and compiled into a pdf at https://manual.para-doxa.org/manual.pdf.