maybe we should remove the configuration parameters from docs/sql/system.txt to avoid duplicating them?