I have edited the previous post to include a cross-posted address.