usermanual: use en-dash instead of em-dash; all in all this looks better to my eyes