Package missing from pkg search

Hi,

I have two machines upgraded from release 12.3 to 13.0. I'm trying to
install the latest mysql80-server package.

On one machine (EU), 'pkg search mysql80' returns:
mysql80-client-8.0.28_1        Multithreaded SQL database (client)
mysql80-server-8.0.28_2        Multithreaded SQL database (server)

On the other machine (US) I only get:
mysql80-client-8.0.28_1        Multithreaded SQL database (client)

Both have 'pkg update' up-to-date without errors. /etc/pkg/FreeBSD.conf
are identical and default.

Is there anything that filters pkg search results locally on the
machine?

Or, unlikely, is there any chance the different mirrors of
pkg.freebsd.org are not in sync, since the servers are in different
locations (US vs EU)?

TIA,
Karl