[docs] [issue4395] Document auto __ne__ generation; provide a use case for non-trivial __ne__