For some reason, I ended up with two posts there, when I was trying to edit the first one. The longer one, the second of the two, is the one I intended to publish.