Please note that Thursday, November 28, 2019 is the United States Thanksgiving holiday. Many editors in the USA, including me, will be away from home and may or may not see Commons until next week. And a safe and happy thanksgiving to all.