Updated `DEVEL.md': function `dot' suffixes explained