Added more content to the user's manual; fixed a bug in the service lister that causes crashes if the channel manager is running at the same time.