Don't send notifications when refresh is called manually

Doesn't really make any sense to send them when the user calls refresh, as they were sent when the actual change happened even when autorefresh is off.

@alazier @jpsim 
Returning whether anything changed in the public API sounds potentially useful too, even with the false-positive.