ZegnatWell, that was a bit of a random rename. Maybe I should have dropped Clubhouse from the wiki entirely if nobody saw the need to have it under its correct name for the last almost 2 months? Thoughts? How hard do we want to prune / not prune such things, w.r.t. relevance?
