I am interested in using Tinkercad with my students on the raspberry pi. I came across this https://www.raspberrypi.org/blog/another-new-raspbian-release/ which talks about installing the drivers. Will this allow me to use webgl on Tinkercad? Or will it slow raspberry pis down to a crawl? Just not sure if I want to install these drivers? Thanks for any help