The first part of the issue is that the problem data for the Mini is not downloaded.
The fetch_problem.py script is in the repo https://github.com/spookykat/MoonBoard. Working out how to download the Mini data could involve using a proxy server to channel the traffic. But it could be as simple as guessing and testing some integers in the api URL. So work this out, and make a pull request to add to that code.
The second part is to then update this repo.
Add some temporary instructions in the Readme on how to fetch the pull request and rebase. Then add the Mini-data to the scripts. At one place benchmark data is filtered out and saved in some 'cache-files'. The Moonboard mini background should be added as well.
The first part of the issue is that the problem data for the Mini is not downloaded. The fetch_problem.py script is in the repo https://github.com/spookykat/MoonBoard. Working out how to download the Mini data could involve using a proxy server to channel the traffic. But it could be as simple as guessing and testing some integers in the api URL. So work this out, and make a pull request to add to that code.
The second part is to then update this repo. Add some temporary instructions in the Readme on how to fetch the pull request and rebase. Then add the Mini-data to the scripts. At one place benchmark data is filtered out and saved in some 'cache-files'. The Moonboard mini background should be added as well.