PG is on vacation for a few days, so the posts are going to be slightly sporadic. There’ll still be updates, just perhaps not as often (or coherent). Enjoy.