Microtonality in noteflight

Microtones are very common in non-western music, and I feel adding them would be a massive improvement.  Just simply being able to customize the pitch would be a huge improvement, but microtonal notation would be absolutely massive.  At the very least half sharps and half flats should be added, though different divisions of the octave and just intonation would also be very helpful.  Adding microtonality would be hugely beneficial for those interested in experimental music or non-western music, and I personally know many people who would come to this platform just for microtonal capabilities if they were to be added.  Adding microtones would bring many more people to this platform and would benefit many existing users.