Can someone tell when the last modify of the user manual is?
It could be helpful to put a last modify date to the user manual page.

rustybird
Oh dear, I could have thought of that myself. Thank you very much.