tex-shop: 3.23