@misc{2018-editor-Ace,
 day = {11},
 kind = {editor},
 month = jul,
 note = {rev 5dthMkkePcaBfSv41h1wp3ZhqZvtdk},
 publisher = {ajax.org},
 title = {Ace},
 version = {rev 5dthMkkePcaBfSv41h1wp3ZhqZvtdk},
 year = {2018}
}