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
Edited by Karl-Philipp Richter