js2let.pl: Add document