#777416. Fix bad link in "Devel settings" description.