[13:36] <rogpeppe> jam: i just created a couple of PRs you might be interested in - something I've been wanting to do for years: https://github.com/juju/juju/pull/8304 https://github.com/juju/juju/pull/8305