Files
leanote/public/libs/ace/snippets/lean.js