Enabled interactive console and fixed small big: proximity search now not just limited to 10 results (woops), but 1000.