Hacker News Reader

Updated my comment to include asterisks around the filename, which could help if you only know part of it

Thanks. I think Terminal on a Mac needs somewhat a different command since the above-mentioned command won't execute.