ya vi.. es cierto, el archivo no baja de la pagina principal pero también lo puedes bajar de sourceforge ya que es open source:
http://sourceforge.net/projects/tinymce/
No tendrás problemas usando este editor. Lo usas de la misma forma usas un textarea normal, sólo que es más gráfico.