The OpenSpace community is getting more and more connected and is growing at a really fast rate. I believe it would be really beneficial if we had a search bar in the leaderboards with this formatting below. It can help with searching posts from all different members by searching names.