These tests are deliberately not run by CI (there is no nix derivation
for this directory) to avoid exhausting resources on the impoverished
GitHub linux runners.