Update other-docs-rl-patch.html