Englex improvements and keyboard navigation