Add site-wide search in top right as requested by
@levelsio #wip – It automatically tries to scope your search to whatever page you're currently looking at. So if you're looking at someone's profile, it will search _their_ todos. But of course you can easily remove this filter afterwards