Looks like @stherr hasn't received any replies!