The Prospector Odyssey · build 12851936 · published 1 Dec 2023, 16:10 UTC
Minor edits to the default input settings