On Do, 14.07.22 12:40, Michael Cassaniti (michael at cassaniti.id.au) wrote: > Should I at least raise a feature request in GitHub? Please do! Lennart -- Lennart Poettering, Berlin