maybe don’t just assume all of us knows what ‘GPR’ is. For those maybe wondering, it stands for “General Purpose Registers”.
That is stated in lesson 1. It's in the first sentence that mentions "GPR" and in the heading directly above it.
(By the way, I'm not the author.)



+1 for bringing it up as serious discussion.
The last time I had to ask permission for something like this, the issue turned out to be simply that the IT staff wasn't trained in Linux and therefore couldn't support it. I was more than capable of administering my own Linux box and ensuring that it wouldn't become a risk to our company network, so we agreed that I would do that.
It was a win-win result: I had the tool I needed to be most productive, and IT had fewer machines to support.