Add supporting files for Debian Portal