
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><blockquote type="cite"><div><br><font class="Apple-style-span" color="#000000"><br></font><br>The "trouble" with users is the same as with cars: cars don't remain new very long and users don't remain lazy very long. Even I, among the laziest of the lazies eventually got a bit less lazy. It seems to me that the old lazy me would like Koch's new scheme because I would have had nothing to do to get going and the later less lazy me would also like it because I might now venture moving a few entries. (I take it that would not involve the terminal.)<br><br></div></blockquote></div><div><br></div><div><br></div>Good point, but there is absolutely nothing inconsistent between (a) accommodating naive and power users differently and (b) allowing users to move from the naive to the power category. All you are saying is that naive users should not matter, because they dont stay that way. Such a perspective is commonplace in open source software, but I am arguing that naive users are important. For one thing, accommodating them will attract more new users to TexShop, whether or not they later turn into power users. I would argue that this is good, if we wish to maximize the impact of TexShop.<div><br></div><div>-dave</div><div><br><div><div>

<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><div><div>David Messerschmitt</div><div><br></div></div><br></span><br class="Apple-interchange-newline">

</div>

<br></div></div></body></html>