gthess Oct 2, 2023

Member

Indeed, fixed in 9342bf6. Thanks for noticing!