Complete the HTML Standard: Up to Input