Error when installing software: Could not install Arduino AVR platform: Error: 13 INTERNAL: Server responded with: 403 Forbidden

Hello, I newly purchased the Beginner Starter Kit, and plugged my board into my laptop. I successfully installed Arduino IDE, but the software specific to my board cannot be installed, with me getting the below error message. What can I do?

Could not install Arduino AVR platform: Error: 13 INTERNAL: Server responded with: 403 Forbidden

IDE 2.x ?

Are you in a corporate environment or is there anything special about your network configuration?

Yes, I am on a company device on a company Wi-Fi

You did not confirm which IDE version you're using.

You'll have to aks the network administrators to allow the needed access.

I just downloaded it from arduino.cc/downloads less than 30 minutes ago, I imagine it's the latest one. And yes, it is likely to be stemming from my wi-fi

The version number of the IDE is shown in the title bar.