v0.47-release: May 11, 2022

Minor infrastructure improvements