[config] Remove archive pages that were uselessly generated
[Cross-platform development] rename file