usermanual: a few further additions