My comments thingy is being stupid. I don't know why, but sometimes it says "archived". If you feel the need to leave a comment, you still can--as Ben found out.

That is all.