## override warning about preseeding within the FAI config space:
debian-edu-router-fai: repeated-path-segment fai [usr/share/debian-edu-router/fai/config/files/etc/fai/]

## work-in-progress
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_install]
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_mkcd]
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_mkimage]
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_mkconfigspacetarball]
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_release]
debian-edu-router-fai: no-manual-page [usr/sbin/debian-edu-router-fai_updateconfigspace]

## intended, FAI-specific
debian-edu-router-fai: openpgp-file-has-implementation-specific-extension [etc/debian-edu/fai/debian-edu-router-fai.TEMPLATE/apt/trusted.gpg.d/DEVELOPMENT.gpg]
debian-edu-router-fai: openpgp-file-has-implementation-specific-extension [etc/debian-edu/fai/debian-edu-router-fai.TEMPLATE/apt/trusted.gpg.d/fai-project.gpg]
debian-edu-router-fai: openpgp-file-has-implementation-specific-extension [usr/share/debian-edu-router/fai/config/package_config/DEBIAN.gpg]
debian-edu-router-fai: openpgp-file-has-implementation-specific-extension [usr/share/debian-edu-router/fai/config/package_config/DEVELOPMENT.gpg]
debian-edu-router-fai: repeated-path-segment debian-edu-router [usr/share/debian-edu-router/fai/config/files/etc/debian-edu-router/]
debian-edu-router-fai: repeated-path-segment usr [usr/share/debian-edu-router/fai/config/files/usr/]
