This doc is not up-to-date (and it says the file is ``sdo.php`` earlier).