I got an 'OK' from @nedbat on this point. In the past @jtauber would review this, but his availability is limited these days.