Primary.app is closing.

The service will cease operation on June 30, 2023.  Goodbye, and thanks for all the fish.