Adding it back to the free edition would risk getting our theme removed from the WordPress.org repository.
The Plus edition already supports similar functionality by enabling the visual editor in category descriptions (and making it easier to enter the introductory text for the category).