I’m always grateful for the private comments pointing out errors, better that than a goof that slips unnoticed into the final post.