I think your point still mostly stands, but I wouldn't really consider Dotty, Ceylon, or Jython contenders for reasons of "not done", "not used", and "not even

I think your point still mostly stands, but I wouldn't really consider Dotty, Ceylon, or Jython contenders for reasons of "not done", "not used", and "not even close to supporting a modern version of Python", respectively.