@Blank_User: I don't see how it would be pointless if Seia...

Blank_User
2025-01-19T11:05:28-05:00

I don't see how it would be pointless if Seia dominates the pool. If necessary, we could just rename it, but I think the current name is fine.