Strip now useless file.

2023-08-01, Edouard Tisserant