'Dev' is me. That score is hardcoded in and was the highest I have ever got in the game (in an earlier build). The whole score being in the scoreboard before you even get anything was originally a bug which I adjusted and made a feature. (So following the classic programmer mantra.)
I don't have the expertise to get web hosting and a backend (I have made client-side web code before but no backend experience other than a VERY simple Flask app) working within 3 days so I just made the scores local. I could do a manual online leaderboard by having people email me their "highscores.json" and putting it on my gitlab pages site. (https://infinity48.gitlab.io/)