2023.11.10

This release includes two small changes to the AmuseLabs downloader: one essentially a bugfix for the last release (fixes #142), one accommodates a small change that Amuse seems to have made upstream in their JS.