Ceylondoc: make sequences link to their doc #930