Files for Advent of Code 2023, and related stuff