And they shouldn't be in the vendor/tiny_mce directory?