# see share/frontend/nagvis-js/js/ExtLeaflet-src.js
source-is-missing [share/frontend/nagvis-js/js/ExtLeaflet.js]

# False positive
source-is-missing [docs/*/header_templates.html]

