From 14af23ea2e1821b1ececdb19901f6a83a420754a Mon Sep 17 00:00:00 2001
From: Jordan Bradford <36420801+jrdnbradford@users.noreply.github.com>
Date: Mon, 22 May 2023 20:32:27 -0400
Subject: [PATCH] Add link to resource resizing page

---
 docs/howto/admin/resource-estimation.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/howto/admin/resource-estimation.md b/docs/howto/admin/resource-estimation.md
index 9bc7113..6e7f263 100644
--- a/docs/howto/admin/resource-estimation.md
+++ b/docs/howto/admin/resource-estimation.md
@@ -72,6 +72,7 @@ $$
 
 ## Resizing your server
 
-Lots of cloud providers let your dynamically resize your server if you need it
+Many cloud providers let your dynamically resize your server if you need it
 to be larger or smaller. Usually this requires a restart of the whole server -
 active users will be logged out, but otherwise usually nothing bad happens.
+See [](#howto-admin-resize) for provider-specific instructions on resizing.