Form submission and the ENTER key? - Discussion of the problem of Enter=Submit in HTML forms