just in case you were wondering...

... a post that vanished a little while ago is back now.