encore: remove obsolete files, sync with extract-files.sh