Sorry... I didn't realize this is already in files_external.

Never mind.