If they're not used anywhere I'd remove them to avoid confusion and YAGNI.