And others I don’t have handy. Unfortunately, as you suggest, they’ve gotten no interest from developers yet. But there is hope. I’ve noticed the last few releases included some efficiency updates to the Recorder database. I take this as a sign that at least some devs are OK doing the less glamorous work on the important parts of the project, rather than making high-visibility design changes to the UI.