Ubuntu has a metapackage in the universe repository called "fonts-noto": http://packages.ubuntu.com/xenial/fonts-noto

  Package:    fonts-noto
  Repository: universe

To install (if you have the universe repository enabled):

  sudo apt-get update
  sudo apt-get install fonts-noto

Yes, quite a deal. :) In the video @ 28:29 while showing the slide with his cost breakdown he says:

  "And I had someone from IBM run the serial number for me,
  and the original price tag was $350,000."

I would hope some corp directors/cio's see this and send this kid some spare parts for a great effort. Those scumbags at IBM could care less about making this into a better story by helping out.

He's getting help from some IBMers via MAIN. I suspect sidechannel support may be viable.

I've only done a small bit of MF work, but the old-school IBM mainframers I've met (usually at conferences) have always been exceptionally helpful and friendly. It's a fairly small community. Young blood is often quite welcomed.

And those beasts will likely be around so long as there's mains power.

And to change the speed without changing the pitch, the "scaletempo" audio filter works pretty well:

    $ mplayer -af scaletempo filename