Set the default correlation timeout to 300 seconds.
stereo and point2dem: Minor fixes for robustness
Docs: More fixes
Version 2.4.2 is coming