This is embarrassing, but I hastily misread your comment as saying something it didn’t say. So just disregard my comment altogether!