docs-v4: add proxy.conf.adoc to antora index and updated nav.adoc wit…

doc/antora/modules/reference/nav.adoc

@@ -151,7 +151,6 @@
 **** xref:raddb/global.d/ldap.adoc[Ldap]
 **** xref:raddb/global.d/python.adoc[Python]
 
-
 ** xref:raddb/mods-available/index.adoc[Modules]
 *** xref:raddb/mods-available/all_modules.adoc[Summary of Modules]
 *** xref:raddb/mods-available/doc/authentication.adoc[Authentication]
@@ -223,7 +222,6 @@
 ***** xref:raddb/mods-available/detail.example.com.adoc[Example]
 ***** xref:raddb/mods-available/detail.log.adoc[Log Example]
 
-
 *** xref:raddb/mods-available/doc/policy.adoc[Policy]
 **** xref:raddb/mods-available/always.adoc[Always]
 **** xref:raddb/mods-available/attr_filter.adoc[Attr_filter]
@@ -244,7 +242,6 @@
 **** xref:raddb/mods-available/stats.adoc[Stats]
 **** xref:raddb/mods-available/unbound.adoc[Unbound]
 
-
 ** xref:raddb/policy.d/index.adoc[Policies]
 *** xref:policy/index.adoc[Create Policy Rules]
 **** xref:policy/different.adoc[Why FreeRADIUS is different]
@@ -289,12 +286,12 @@
 *** xref:raddb/clients.conf.adoc[Clients]
 *** xref:raddb/debug.conf.adoc[Debugging Configuration File]
 *** xref:raddb/dictionary.adoc[Local Dictionary Definitions]
+*** xref:raddb/proxy.conf.adoc[Proxy Configuration]
 *** xref:raddb/radrelay.conf.adoc[Radrelay Configuration]
 *** xref:raddb/radiusd.conf.adoc[Server Configuration File]
 *** xref:raddb/templates.conf.adoc[Templates]
 *** xref:raddb/trigger.conf.adoc[Triggers]
 
-
 ** xref:man/index.adoc[Man Pages]
 *** xref:man/dictionary.adoc[dictionary]
 *** xref:man/radclient.adoc[radclient]

doc/antora/modules/reference/pages/raddb/proxy.conf.adoc

@@ -0,0 +1,67 @@
+
+= Proxy Configuration
+
+The `proxy.conf` file is not used in version 4.  The functionality in
+the old proxy.conf has moved.
+
+For detailed information on upgrading, see
+xref:howto:upgrade/index.adoc[Upgrade from v3].
+
+== home_server sections
+
+The `home_server` definitions are now just RADIUS modules.
+
+See
+xref:reference:raddb/mods-available/radius.adoc[mods-available/radius].
+You can create a module for each home server.  The configuration is
+very similar.
+
+You can also send packets to dynamic home servers, without updating
+the configuration or adding new modules.  See the
+`%proxy.sendto.ipaddr()` function in `mods-enabled/radius`.
+
+== home_server_pool sections
+
+The `home_server_pool` sections are now just virtual modules.
+
+See the `load-balance`, `redundant`, and `redundant-load-balance`
+keywords.  Since a `home_server` is now just a RADIUS module, there is
+no need to have a separate configuration for load-balanced pools of
+home servers!
+
+The `load-balance` and `redundant-load-balance` keywords now also take
+an optional parameter which can be used to do keyed load balancing.
+
+The `instantiate` section is also gone from v4.  Instead, you can just
+create a "virtual" module, by putting a `load-balance` section as a
+file directly in the `mods-enabled/` directory.
+
+i.e. instead of using this in `proxy.conf`:
+
+You can instead use this in `mods-enabled/foo`:
+
+== Realms
+
+There is "realm" configuration section.  The `realms` module has also
+been removed.
+
+@todo - this should really be addressed before a v4 release.
+
+== Default Configuration
+
+```
+#	home_server_pool foo {
+#		type = load-balance
+#		home_server = radius1
+#		home_server = radius2
+#		home_server = radius3
+#	}
+#	load-balance foo {
+#		radius1
+#		radius2
+#		radius3
+#	}
+```
+
+// Copyright (C) 2026 Network RADIUS SAS.  Licenced under CC-by-NC 4.0.
+// This documentation was developed by Network RADIUS SAS.