Well, it’s been 4 days now, and this post has not received the massive upvotes you would expect from adding the vincentb tag. Will give it another 3 days and see if there is any change.