This is particularly confusing because when the same (sub)domain also has directories for BenchExec/goblint-bench results, then accessing missing ones don't give a 404, but just end up on GobWeb home page, with no indication that there was a 404 anywhere.
Currently all non-existing pages get forwarded to the home page: https://github.com/goblint/GobWeb/blob/a052ef347bcc9098abdb2e68311129259435c49a/src/app/app-routing.module.ts#L9-L16
This is particularly confusing because when the same (sub)domain also has directories for BenchExec/goblint-bench results, then accessing missing ones don't give a 404, but just end up on GobWeb home page, with no indication that there was a 404 anywhere.