Nice feature.

I had someone having installed one of my plugins encounter this issue a month ago after a third party released a similar plugin, with the same naming for the main file, to the WordPress directory.