Only used inside a hint block.

auto.hint()

## Details

It says that the automatic hint shall be shown. This makes sense if you want to show the automatic hint in addition to a custom hint. Also see auto_hint_else()