Ease transition to excluding more files from the offline wiki.
I.e. delete files we've just excluded, and use rm -f so that it works even for those who have already cleaned up their build tree. Same rationale as previous similar commit.
Showing with 6 additions and 1 deletion