@contrapunctus Yeah sorry about that. For the past 1.5 years the releases were mostly prepared in 2-3 weekend evenings, so nothing that needed thought was implemented. Hopefully with this grant I will have time to also work on such tickets.