Issue #43: Remove .txt files from /core.