Added FIXME comment to "prettify-filenames".
(Always planning for the future.)