Merge "Update Patrole documentation"