Formalizing user rights on the Web [video] | Hacker News Reader