Comment (by Erik Schnetter):

My main objection to adding these thorns to the Einstein Toolkit was the lack of test cases. As there are now test cases, the Lean thorns should be added iff the test cases succeed.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2101/add-lean_public-and-proca-thorns-to-the-et