Somehow I double-posted my previous post. Let’s see if it happens again.