(No comment, mostly because I’m uploading this at 3:30 am and can’t think of anything interesting to say.)