Re #9390 Fix old doc format.
Merge branch 'feature/9390_convert_empty_to_tof' into develop