@394b5c0e I'm getting used to the renamed federated feed (now live feed), and having to switch from local to mixed or "other servers" option