Add a filter to the personal projects overview

Description

Searching for personal projects on [base URL]/users/[user]/projects requires going through all pages and searching with the browser search function.

Going through Projects -> Your projects there's a search/filter function available. The one proposed here can be the same, it's just not available currently for the mentioned URL.

Proposal

It'd be nice if there was a text filter which would limit the displayed projects to the ones matching the entered filter text after every key stroke. A clearing button allows to remove the filter easily.

Links / references