Deleted old DaveExtension and its files.