log src/scriptcheck.sig

age author description
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose