Comment by felix089

cool, send a PR we merge it into the leaderboard :)