Hi! I'm using Polymake 4.0 on Ubuntu 20.04 via WSL2 on a Windows 10 machine. It was installed via a package manager and not from source. I'm interested in using the jReality viewer through polymake but have so far been unsuccessful in doing so. jReality is listed as a bundled extension and the page ...