Updated version of the hint manual available soon.