An extensible text management system