I agree it should be write somewhere as I had to look in previous commit to understand that I have to do it to have a correct behavior for "next". If it is documented in another place, I don't know where and I don't know where it is meaningful to write it. May be in dev doc?