Add comment when using htmlformatter.com, which does not always generate identical...

diff --git a/README.source b/README.source
index 1cf143b2b24e1451626ce47670012ac09f2dbc85..96dfd352d5ffab4e64ecaacfb98c7f7d116efa2f 100644 (file)
--- a/README.source
+++ b/README.source
@@ -26,4 +26,6 @@ Protocol after succesful review
 1) Convert pandoc file to html
    (this will create a html file with no line breaks)
    Use pandoc or an on-line service
-2) Use a tool such as http://htmlformatter.com/ to clean html
+2) Use a tool such as http://htmlformatter.com/ to clean html.
+   If you do, manually reject any unnecessary format changes. This is very
+   easy with a git aware editor in which individual changes can be rejected.