On added end-paper: Edinburgh City Libraries barcode label and Edinburgh