Upgradeability, explained: the Telos line