# This is actually the source.
fava source: source-is-missing fava/static/gen/app.js *
fava source: source-contains-prebuilt-javascript-object fava/static/gen/app.js *
# Yes there are some very long lines, but not completely absurd
fava source: insane-line-length-in-source-file fava/static/gen/app.js *
