@pupeno Sure, that would be good, the only thing is the 11-hour time difference and I’m pretty busy right now (moving house and several other things at once).

@cfleming ping me whenever it’s convenient for you to work on this and I’ll try to accommodate.

although first I need to get intellij+cursive on a non-work laptop.