Remove unused code + add PDF flavour identifier on the "copyright" page