A Flutter toolkit for building document editors and readers