Update docs.
Add new builtin is_changeable and is_modifiable.
Make set_parameter_value work for lists(?).
Improve docbook style for PDF output.
Mark more things with <userinput>.
Update output.
Further update PDF style.