John Ericson f99e468640 Avoid <name>/<name> in documentation URLs ... They are redundant and look weird.		2023-11-30 09:37:32 -05:00
..
internal-api	Factor out bits of the worker protocol to use elsewhere	2023-10-09 16:55:12 -04:00
manual	Avoid <name>/<name> in documentation URLs	2023-11-30 09:37:32 -05:00