diff --git a/rfc/src/SUMMARY.md b/rfc/src/SUMMARY.md
index ade6c44df5df..598d8b21484a 100644
--- a/rfc/src/SUMMARY.md
+++ b/rfc/src/SUMMARY.md
@@ -9,3 +9,4 @@
 - [0001-mir-linker](rfcs/0001-mir-linker.md)
 - [0002-function-stubbing](rfcs/0002-function-stubbing.md)
 - [0003-cover-statement](rfcs/0003-cover-statement.md)
+- [0006-unstable-api](rfcs/0006-unstable-api.md)
diff --git a/rfc/src/rfcs/0006-unstable-api b/rfc/src/rfcs/0006-unstable-api.md
similarity index 98%
rename from rfc/src/rfcs/0006-unstable-api
rename to rfc/src/rfcs/0006-unstable-api.md
index b6671ed39727..111bb080430a 100644
--- a/rfc/src/rfcs/0006-unstable-api
+++ b/rfc/src/rfcs/0006-unstable-api.md
@@ -1,6 +1,6 @@
 - **Feature Name:** Unstable APIs
 - **RFC Tracking Issue**: <https://github.com/model-checking/kani/issues/2279>
-- **RFC PR:** <>
+- **RFC PR:** <https://github.com/model-checking/kani/pull/2281>
 - **Status:** Under Review
 - **Version:** 0