The relevant part here is commit b70c440, the previous commits are needed to make the PR checks pass, related to #82