From 7b60b9dcfa54942cf35811e7f103332703e5f232 Mon Sep 17 00:00:00 2001
From: Sofia Rodrigues <sofia@algebraic.dev>
Date: Tue, 3 Dec 2024 10:35:32 -0300
Subject: [PATCH] chore: improve docs

---
 src/Std/Internal/UV.lean | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Std/Internal/UV.lean b/src/Std/Internal/UV.lean
index 93ae0f7dac0d..361b45554bb2 100644
--- a/src/Std/Internal/UV.lean
+++ b/src/Std/Internal/UV.lean
@@ -23,7 +23,8 @@ structure Loop.Options where
   accumulateIdleTime : Bool := False
 
   /--
-  Block a signal when polling for new events
+  Block a SIGPROF signal when polling for new events. It's commonly used for unnecessary wakeups
+  when using a sampling profiler.
   -/
   blockSigProfSignal : Bool := False