@foone I encountered FlatHub last week because someone was saying how bad it was—but is that kind of thing what you’re talking about? (Note I know next to nothing about FlatHub, and I’m really asking to see if I understood the point of it in the first place.)