Can gaia version in tutorial be updated?

[rootulp]

Context

I'm going through https://hermes.informal.systems/tutorials/pre-requisites/gaia.html

Problem

I have Golang 1.21.1 installed locally. The docs explain using Gaia v9.0.3 which fails to install locally because it depends on Golang 1.18.

HEAD is now at 05b6b87d3 update changelog for rc 2 (backport #2421) (#2422)
$ make install
ERROR: Go version 1.18 is required for HEAD-05b6b87d3c9121e933eab437772ea56f33ae268f of Gaia.
exit 1
make: *** [check_version] Error 1

Proposal

Increase the version of Gaia used in the tutorial. Gaia v12.0.0 exists.

[rootulp]

Alternatively, one can bypass the check by commenting these lines out but that may break other things.