see https://wordpress.org/support/topic/how-to-delete-your-plugin/
see https://wordpress.org/support/topic/how-to-delete-your-plugin/