Linux from chromebook is just a configuration you enable from the settings menu. If offers you a shell which is similar to a Ubuntu and you can install standard Linux software using the “apt install” command. Said so, if they cannot even install chrome extensions this is likely disabled too.