Should HTML have a “max file size” attribute for input type=file? · HackerTrans