* Show a top5 leaderboard on resolved markets
* Only show profitable traders
* Include sales in profits
* Copy Leaderboard styling
* Also show the top comment and trade
* Fix padding for solo bets
* Only show both comment & bet if they differ
* Show bio, banner, and social links on user page
* Minor tweaks
* Allow edits to their user page
* Fix build; add a white ring around users
* From userpage, link to /profile (which is always editable now)
* Update userpage SEO
* Clean up Profile menu
* Fixes according to Stephen's code review
* add id, userId to comment
* change user info cloud function and script; move cleanUsername to common
* change user info script
* fix rules
* add fund button: useLocation hook
* profile page
* merge
* profile stuff
* avatar uploading to storage bucket
* changeUserInfo: use transaction
* Styles for profile page
* Edit mode for profile, and more styles
Co-authored-by: James Grugett <jahooma@gmail.com>
* Show custom feed of contracts from folds your follow or have bet on.
* Add tw-elements UI library
* Add loading spinner while feed loads
* Switch from onSnapshot to our listenForValues, which doesn't set with partial cached values
* Change home tags to communities
* Remove tw-elements for now
* Simple leaderboards
* Filter out SG from traders. Center leaderboard. Use Nextjs Image.
* Add leaderboards menu option
* Put leaderboards side-by-side on large screens
* Add medal emoji
* Admin page using gridjs
* Move hook into separate file
* Link to each user's Manifold and Firestore /user entry
* Gate admin access to Austin/James/Stephen
* Don't leak the existence of /admin
* Add a custom 404 page that directs to Discord.
* Fix broken window.location.href on NextJS server
