Thanks for your feedback.
I understand the logic, but I find it ambiguous to say that a lane is taken on the left, when there isn't necessarily a lane on the left, even though in this case I should have done it with lanes:bus:backward (which iD doesn't show in the tag pannel, only at the end).
Thanks for improving it, and we may also add cycleway:right=no