After adding GitHub Actions.

After move to GitHub.

After tweaking the sky map formatting further.

After adding the option to tweak the sky map's formatting.

After adding query application.

After adding sanity checks for map resolution.

After moving the code into its separate repository.