ace-editor
ID: ace-editor
Plugin distribution has been suspended, see
https://github.com/jenkins-infra/update-center2/pull/857
for details.