Dev here: that "5%" number was way overdue, I just bumped it :) After over a year of slowly adding bits and pieces without anything actually working, we finally had a breakthrough with some nontrivial games starting to work this month. Still a ways to go though.