k_tinyMCE

— how-to:

The home page of a plugin > AdvancedView > near the bottom > DevelopmentVersion dropdown > locate your desired version > download the zip file

On 27 Sep I was able to download and install version 5.5.1 of TinyMCE.