FEATURE: add new user option `skip_new_user_tips`. (PR #10437)

And add new site setting default_other_skip_new_user_tips in user preferences category.

GitHub