Question: Is ID starting with io.codeberg allowed?

I have checked the Flathub org repo and found none that had io.codeberg.username.app (except all had page.codeberg and I don’t know why)
as well as the domain ownership of codeberg.io, and currently nobody owns the io.codeberg domain, meaning that I should be able to use it?
Although, it does raise the question of whether if somebody takes up that domain, and then I will have to update the id everywhere.

See the Flathub documentation about which id you should use:

Applications using code hosting IDs and hosted on github.com, gitlab.com, codeberg.org, framagit.org must use io.github., io.gitlab., page.codeberg., io.frama. prefixes respectively and must have at least 4 components.

Thanks. I learned we have documentation about it.