From 824202b4c4feb02e11fa1a44b140d5b0f218702c Mon Sep 17 00:00:00 2001
From: pogobanane <38314551+pogobanane@users.noreply.github.com>
Date: Mon, 31 Oct 2022 13:21:09 +0100
Subject: [PATCH] readme: add inofficial option search

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 095effcd..25a2cfc4 100644
--- a/README.md
+++ b/README.md
@@ -14,8 +14,9 @@ Before attempting to use Home Manager please read the warning below.
 For a systematic overview of Home Manager and its available options,
 please see
 
-- the [Home Manager manual][manual] and
-- the [Home Manager configuration options][configuration options].
+- the [Home Manager manual][manual],
+- the [Home Manager configuration options][configuration options], and
+- the 3rd party [Home Manager option search](https://mipmip.github.io/home-manager-option-search/).
 
 If you would like to contribute to Home Manager
 then please have a look at the [contributing][] chapter of the manual.