HTML4, FileInput: Remove old comment.