On Tue, Feb 18, 2020 at 12:05:42PM +0100, Juan José Santamaría Flecha wrote:> Maybe this needs a specific thread, as it is not quite cruft but something> that will require maintenance.
Makes sense. I have discarded that part for now.--Michael