  Re double redirects: as far as I know the double redirects are being handled by someone with a bot now. I haven't done a double redirect cleanup project in quite some time; none of the ones listed are active.  