Hi. In addition to your very appropriate ping in github in August, I've just made another ping today, let's see what comes from all this.
(If nothing happens, I guess reuploading the old version as 3.24.really.3.23 or alike will be a real possibility). Thanks.
