# source only, not used nor installed files
source-is-missing doc/html/jquery.js line 18 is 42959 characters long (>512)
source-is-missing doc/html/menu.js line 26 is 695 characters long (>512)
