We made a browser extension (Chrome/Firefox) that lets you search across 1000s of streams to help you easily find everyone playing Zed :) : r/zedmains