chiark / gitweb /
doc/: Use the correct notation for `->' arrows.