this file still is getting uploaded to wp.org though it's no longer present here. Strange
oops