Humm,
The history file and dat's are not updating either, I wonder if his machine and he hasn't been around to restart.
It's not like mike to ignore things like this, no pressure, I guess it just goes to show how much everyone values Mikes efforts.