August 25, 2022 Metapost: Pre-vacation comments of the week! Want to read the full issue? Email address (required) Subscribe Sign up for a premium subscription Already a paid subscriber? Click here to log in.