lgtm. As we discussed in chat, I would probably merge all the commits into one, and then tag that same commit four times to avoid the situation we had last release with inconcistent version numbers in the release picked by the dapptools installer.

why multiple tags? Wouldn't that cause multiple releases?

Don't we normally do one release for each tool?

there's not so much point in doing that

sure, I agree, but if we want to have one version for all tools we need to implement a new version numbering scheme and I don't think it's worth blocking this release to figure that out, or did you have something else in mind?

no, I don't think we need to change version numbers either. What I'm saying is that right now we are usually bumping all of the numbers at the same time, making one tag, and therefore one release. At least thats what I've been doing. The install scripts always use the latest release anyway, so it's not like ppl are gonna get the different tools from the different releases

Ah I see what you mean now. Actually I always tagged each version of each tool separately when I cut a release, but I guess a single tag is fine too 🤷‍♀️