ceylondoc #1646 links to refined declarations