OSDN Git Service

* doc/extend.texi: Use @: or add comma where appropriate.