@pilou it looks like there will be zero travel expanses for DAPSI. 5,000€ out of the 8,000€ (if memory serves) have been repurposed for advancing Gitea federation. That would leave 3,000€ extra. Would you be OK on principle to redirect these to something other than travel? That would be 1,500€ out of your pocket and 1,500€ out of mine. Of course it all depends on what exactly and if the math is correct but before diving into the details I wanted to know how you feel about the idea.