Note that we are a small, academic project with no professional developers. So, unfortunately, some TODOs take longer than we expect or want.

Thanks for the comment and for the nudge to work even hard on this!