GHC 9.12.5-rc2 is now available

Many thanks for this! I have a semaphore-related question:

The boot packages of GHC 9.12.14 include Cabal-3.14.2.0 and semaphore-compat-1.0.0 and the boot packages of GHC 9.12.15-rc2 include Cabal-3.14.2.0 and semaphore-compat-2.0.0.

Does that mean that Cabal (the library), itself, is indifferent, and intends to be indifferent, as to whether it is passed the name of a version 1 or version 2 semaphore? (That is, Cabal intends to leave it to the user of its --semaphore=<semaphone name> option to ensure that name relates to a semaphore with a version that is compatible with the GHC version that Cabal will use?

Or is there a plan that Cabal will, in some later version before GHC 9.12.5 is released, check compatibility between the version of the semaphore it is passed and the semaphore version supported by the GHC version it will use?