
<!DOCTYPE html>

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body>

<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">On 14 May 2021, at 23:43, Bill Cole wrote:</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><blockquote style="border-left:2px solid #777; color:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><p dir="auto">On 14 May 2021, at 20:05, Benny Kjær Nielsen wrote:</p>

<blockquote style="border-left:2px solid #777; color:#BBB; margin:0 0 5px; padding-left:5px; border-left-color:#BBB"><p dir="auto">I might regret this if there turns out to be unintended side effects, but you could possibly delete some of the database index files such as those for the “received” header. Some are more important than others for the internal workings of MailMate while others are only needed if searched explicitly.</p>

</blockquote></blockquote><p dir="auto">This is a disconcerting suggestion. Like an aircraft designer suggesting that maybe the tail rudder and flaps are not really needed and can be ditched to save weight. Maybe...</p>

</blockquote><p dir="auto">Good point. I've regretted it already.</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">Despite Benny's suggestion, I would be extremely averse to removing any of the index files with '#' in them, as those are for logical constructs of MM, not actual headers.</p>

</blockquote><p dir="auto">Yes, definitely do not remove any of these.</p>

<p dir="auto">-- 

<br>

Benny</p>

</div>

</div>

</body>

</html>