There's now a REML repo that contains definitions of all versions of REML.

Instead of trying to keep REML documentation in sync, change Docs/Design/reml.html to simply reference the required version on the REML repo.