Would appreciate that you saw it come a new version of the Rich Text Editor on the download page. For example, the date the file was updated or version information.
So you do not have to guess if the Rich Text Editor has been updated ....
You update the Rich Text Editor, but you can see nowhere to become so.