I think I fixed the two remaining issues reported by Christoph, thanks for reporting them! > How about we make a 0.9.x branch where we cherry-pick any serious bugs > affecting 0.9.0? Good idea.