Richtext: Plugin aspect replaced with KeyboardListener. Build scripts updated to include richtext.