diff --git a/docs/implementation.md b/docs/implementation.md
index d23a272..68d3004 100644
--- a/docs/implementation.md
+++ b/docs/implementation.md
@@ -586,7 +586,8 @@ Branch `twofactor-40` is pushed. The PR is left open for review; no merge was pe
 
 ## Vault-backed local development (#42)
 
-Task [#42](https://git.sendico.io/tech/sxchnge/issues/42), branch `dev-env-42`.
+Task [#42](https://git.sendico.io/tech/sxchnge/issues/42),
+[PR #43](https://git.sendico.io/tech/sxchnge/pulls/43), branch `dev-env-42`.
 Primary module: dev environment; secondary scope: container packaging, root build
 commands, current-stable backend test images and repository container policy.
 
diff --git a/docs/local-development.md b/docs/local-development.md
index 46c57b5..ff108ca 100644
--- a/docs/local-development.md
+++ b/docs/local-development.md
@@ -1,6 +1,7 @@
 # Local development
 
-Task [#42](https://git.sendico.io/tech/sxchnge/issues/42), branch `dev-env-42`.
+Task [#42](https://git.sendico.io/tech/sxchnge/issues/42),
+[PR #43](https://git.sendico.io/tech/sxchnge/pulls/43), branch `dev-env-42`.
 
 ## Build and bootstrap