The annotation ability within proof is great but currently limited without the ability to add text over the proof image itself.It would be amazing to be able to add text over the top of a proof image as an annotation, the same way you can add the other elements such as a box or arrow, ie effectively...