It would be amazing if someone could combine this and https://proofeditor.ai/ features.