From d5a9f220f92f518de94f9da182ec8f2af46f373c Mon Sep 17 00:00:00 2001
From: Eddie Kohler <ekohler@gmail.com>
Date: Tue, 29 Aug 2023 10:36:10 -0400
Subject: [PATCH] Clarify comment.

---
 src/paperoptionlist.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/paperoptionlist.php b/src/paperoptionlist.php
index e8bd4a6994..187544c3ec 100644
--- a/src/paperoptionlist.php
+++ b/src/paperoptionlist.php
@@ -165,7 +165,7 @@ static function make_intrinsic_json_map(Conf $conf, $vconf, $all) {
             }
         }
 
-        // return unless overrides exist and are desired
+        // return unless overrides exist (and, in the case of `ioptions`, are desired)
         $s1 = $conf->opt("intrinsicOptions");
         $s2 = $all ? $conf->setting_json("ioptions") : null;
         if (!$s1 && !$s2) {