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