that what this is for backwards-compatibility abi="12.0" on the next line.
it whitelists 12.0 and above.
wiki needs to be update i guess when doing PR for gotham only.
confusion could happen because devs now do Prs for frodo+gotham so they could start to think theirs won't work anymore. Any improvement on how to explain that in the wiki is welcome. Having a gotham using both Frodo+Gotham repo saves a lot of work but i admit can cause confusion for devs.
especially if the yare looking at dependency. they look in gotham branch and don't see all the available addons because they are listed under frodo.