The changes in TeXShop 5.16 are due to Matthias Schmidt.