Created attachment 273683 [details] Upgrade to 20260812
Upgrade done, thanks for the heads-up I completely forgot to mention you or the PR in my commit.
BTW, your suggestion for the GH_TAGNAME construction is quite interesting. I will use it at next update.