Commit 88637d428d768aa8ae530fe7de7023a00fc2b6e0

Nick Wellnhofer 2022-08-24T15:09:46

Improve cross-references in API docs Also cross-reference keywords followed by a period. This is still a hack but catches quite a few more keywords.