Sadly not, Ajax.org has written for their own Cloud IDE too: https://github.com/ajaxorg/cloud9/tree/master/plugins-client/ext.stripws