The Platypush extension: browser user scripts on steroids | Hacker News Reader