@gedeonm@mastodon.social Oh of course low priority. It’s a silly thing but glad it’s on record.