Refresh docs with OPTIONS (re: buttonsize)

docs/es_ES.UTF-8/html/OPTIONS.html

@@ -25,7 +25,7 @@
       </p>
 
       <p>
-        marzo  9, 2021      </p>
+        abril 19, 2021      </p>
     </center>
 
     <hr size="2"
@@ -197,6 +197,9 @@
 
           <p>
             The <i>SIZE</i> value should be presented in pixels, and can be anything between 24 and 192, inclusive. Most buttons are square, and this will affect their width and height.          </p>
+
+          <p>
+            Note: If the chosen button size would cause the buttons to be too large for all required UI elements to appear under Tux Paint's chosen window size, the largest possible button size will be used. (A note will appear in <code>stderr</code>.)          </p>
         </dd>
 
         <dt>