A job well done

The plugin is well written and does exactly what it says, and it not only disables the REST API but also removes the links to it in the HTTP header and HTML.