Pixeljam has recently announced on their twitter ( https://twitter.com/pixeljamgames/status/1346133209080360960?s=20 ) that the web version of the game has been converted to HTML5/Javascript by Poki.com and can be played at: https://www.pixeljam.com/dinorun/index2.html and as this is an official release of the game it is a perfectly acceptable version for speedrunning.