Lapo Luchini wrote: > Moreover, this works has already been done, and yours truly also > prepared a port to automate it. > > The only thing lacking is someone interested in it enough to give me > feedback on the PR ports/112982. Update: the port has been committed, thanks edwin ;-)