Version 0.10.33 is live! Creating highlights on mobile should now be more reliable.
https://github.com/dergigi/boris/pull/36