ftr, development topics do not really fit to “Feature Proposal”, which is meant for the end-user of the Delta Chats App to be understandable. moving the topic to “Uncategorized” therefore; if more such topics pop up, we can think over a separate category, but in the past, they were very few, so that seems fine