Comment (by Roland Haas):

Here’s a pull request to include the ET_interface thorns as an ExternalLibrary in the ET. It is not build right now, but could be if https://github.com/wokast/RePrimAnd/pull/8 was approved.

https://bitbucket.org/einsteintoolkit/manifest/pull-requests/9/einsteintoolkitth-add-reprimand

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-in-the-et