Rewrite explanation of doc-source-url option more clearly, and fix encoding to show euro-sign correctly.