dev-changes

Turn described changes into reviewed pull requests: propose, triage, review, dependency audits.