Add no-tinytext.user.js