mode-line.js: legalese