What is your opinion on removing these files entirely (cf other comments)?