I marked my original question as answered, and I don't see any obvious way to open it again.
EDIT: Original question is resolved now
Original post: