PETI’s Indefinite Retirement

In a move which more or less surprises nobody, I am retiring PETI, effective immediately. There are reasons for this that go past simple boredom with the project, but I know it’s something of a sad announcement, so let’s lay them out.