ceylondoc: handle links to parameters, generate parameter anchors and handle them in js highlighting trick #1363