Safename: restricting “dangerous” file names | Hacker News Reader