(Update 2: the distribution has been updated. Thanks to Trevor Manz for an unexpectedly prompt response!)