When was sandpaper invented and what did people use before | Hacker News Reader