@aral Great idea. Although in the public library sector some are calling their patrons ‘customers’ while I prefere to call them ‘users’ (the word ‘patron’ has no meaning in Dutch, which is my native language).