For what it’s worth, here’s an alternative version of the tutorial project with validation that fixes the issue you found:
Also, form_checker
is the “Package Name” of the dependency.
(I don’t know enough to answer your question about the required
HTML property.)