Berkhout - 2019-09-28

Yes, his problem sometimes surfaces. However, in a situation where files are shared between computers, the check is far from trivial. The best detector is the user him/herself. If the lock file is stale, he/she can just throw it away. It might be good to mention this somewhere in the help file.