hi > Yes, it's just an annoyance and pretty low priority. Perhaps when a > coder fancies a bit of 'polishing' it could be fixed.
it will be probably be fixed the day a developer -- while looking for something else -- stumbles over the piece of code which is marking the doc as changed... :-) ciao a.l.e
