What is your source for the claim "presumably on its penultimate update"? I ask this because the source you linked clearly states "last guaranteed update" and, incidentally, that would also be my expectation if Xiaomi's history in the Android One space was to be repeated.