s/comment --- change Info menu items to HTML links ---/&/ s|\([^:]*\): *\(.*\)\.$|

@w{\1} @*|p