We are now using Kate as our editor widget.