harp source: source-is-missing doc/html/_static/jquery.js *
harp source: source-is-missing doc/html/_static/underscore.js *
harp source: source-is-missing doc/html/_static/js/theme.js *
