yes. We do.

I'd branch off master, only bump the javacOption trick, and release 0.1.10, I guess. Sound good?