As reported by our user, a space is missing in this man page
Created attachment 1535 [details] Patch fixing this bug
Hello, its the same generation problem described in 3146: you want to use on the server. A service name takes the form <filename>//server/service</filename> where <parameter>server Moving the <filename> would be the workaround but maybe fixing the generation tools is also good idea.;)
This bug is apparently fixed...