community/hare+harec: upgrade to 0_git20230909

I'm upgrading both packages in the same MR because I don't think it makes sense to merge on upgrade without the other.

I have, however, kept things in separate commits as per our usual conventions.