Created by: dmr
Minor additional information on how to solve watchman problems reported in #713 (closed) and #1767 (closed)