clarify manual on isequal and hash (fix #6833)