I developed a Rubi-step-converter [here](https://github.com/asdasd1dsadsa/RubiSteps) for hand-writing formulae. Is such a support proper to be integrated into Rubi?