Once we have figured out what to do with these formatting PRs: - https://github.com/ev3dev/ev3dev-lang-python/pull/716 - https://github.com/ev3dev/ev3dev-lang-python/pull/713 we should pull an `ev3dev-buster` branch and re-submit the https://github.com/ev3dev/ev3dev-lang-python/pull/709 PR to be against buster since it is a breaking change.