@nedbat please take a look.