Deprecated - The old-docs.smartnoise.org is no longer active. old-docs.smartnoise.org A snapshot of docs.smartnoise.org from late 2021