May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more | Dark Hacker News