Now that #524 is merged. hopefully the build changes there don't cause any weirdness during publishing. I've assigned myself, but I might not have time to do it this week. Please ping me if you want this and more than a week has passed.
