I don’t quite know how we originally ended up with a double post here. I’m still trying to figure out how posting from my phone works …