Haxtuple

We're no longer using the` haxtuple` branch as the PR destination.