I found this related older issue I found this related discussion, which also does not have a good answer
where an alternative solution is to use PriorityQueue, but that of course does not make too much sense in this context where I want to sort the keys from a Dict