A Wikidata bot that sets banner properties for Wikivoyage destinations