More general scheme for ajaxifying <a> clicks from arbitrary shadow DOM using event.path.
Bump tools submodule
Eliminate one-off click handling in docs-menu and dropdown-panel.
Replaced by generalized code in app.'s.