Add a user section to the manual which focuses on some key applications (e.g. rewriting elements as SLP, getting an isomorphic fp group, ...)

[fingolfin]