Search Markets Directly from the Terminal

The terminal search (⌘K) now finds markets alongside traders. Type a market name, date, or both — like "pistons 26 feb" — and matching markets appear instantly in a split view: markets on the left, traders on the right. Search is also more prominent with a full-width bar at the top of the terminal so you can jump straight to any market or trader without scrolling.