Merge "Fix a bug in patrole documentation."