From e8dde126a46ded4f7dfc64c394cd017ecc781aab Mon Sep 17 00:00:00 2001
From: conrad <conrad@localhost.localdomain>
Date: Fri, 14 Oct 2022 11:15:17 +1000
Subject: [PATCH] simplifications

---
 docs.html | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/docs.html b/docs.html
index 596ff909..422bc263 100644
--- a/docs.html
+++ b/docs.html
@@ -3531,8 +3531,7 @@ only a subset of the elements is taken
 <b>Caveats:</b>
 <ul>
 <li>
-do not use <i>.reshape()</i> to change the size without preserving data;
-use <a href="#set_size">.set_size()</a> instead, which is much faster
+to change the size without preserving data, use <a href="#set_size">.set_size()</a> instead, which is much faster
 </li>
 <li>
 to grow/shrink the object while preserving the elements <b>as well as</b> the layout of the elements,
@@ -3620,8 +3619,7 @@ Can be used for growing or shrinking an object (ie. adding/removing rows, and/or
 <br>
 <li>
 <b>Caveat:</b>
-do not use <i>.resize()</i> to change the size without preserving data;
-use <a href="#set_size">.set_size()</a> instead, which is much faster
+to change the size without preserving data, use <a href="#set_size">.set_size()</a> instead, which is much faster
 </li>
 <br>
 <li>
@@ -10966,8 +10964,7 @@ only a subset of elements is taken from the given object
 <b>Caveats:</b>
 <ul>
 <li>
-do not use <i>reshape()</i> to change the size without preserving data;
-use <a href="#set_size">.set_size()</a> instead, which is much faster
+to change the size without preserving data, use <a href="#set_size">.set_size()</a> instead, which is much faster
 </li>
 <li>
 to grow/shrink a matrix while preserving the elements <b>as well as</b> the layout of the elements,
@@ -11024,8 +11021,7 @@ whose elements as well as the layout of the elements are taken from the given ob
 <br>
 <li>
 <b>Caveat:</b>
-do not use <i>resize()</i> to change the size without preserving data;
-use <a href="#set_size">.set_size()</a> instead, which is much faster
+to change the size without preserving data, use <a href="#set_size">.set_size()</a> instead, which is much faster
 </li>
 <br>
 <li>