Add index entries for services to developers manual
Small fixes to users manual