Just sold @brentsimmons on Bold Text and discovered that switching Bold Text on/off in iOS 13 no longer requires a reboot. 👍