This happens from time to time with the same user. She has a document that
she edits almost every day. Every now and then, when she comes in in the
morning, that document is not in her document list although she worked in it
just the day before.

Ever seen this? Any ideas?