How to overclock pi

I’m running a Minecraft server for my friends on a raspberry pi 4, and I’m trying to overclock it, because it was timing out everyone. When I try, there is no option in the config (sudo raspi-config) and the things to uncomment weren’t in the config.txt file (location: /boot/firmware/config.txt). I want to overclock it to 2.3GHz if possible.

I also connect to it over ssh and have tightvncserver so I could use the desktop

are you sure?, it should be over in 'performance'