High-performance graphical view filtering with Sprotty - View it on GitHub