The hidden attribute in HTML