Contributors to Comments on 2020-04-27 Printing from pdf-tools