bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: kjambunathan@gmail.com,  15312@debbugs.gnu.org
> Date: Fri, 13 Sep 2013 12:28:14 -0400
> 
> > Sorry, I'm still in the dark.  Does the code presented in
> > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15312#11 work correctly
> > and as expected, or does it not?
> 
> AFAICT, yes, it works fine.

Then please explain why it makes sense to call or not call these hooks
depending on whether some other unrelated text property changed at
point.