On 8/1/26 17:10, Alejandro Colomar wrote:
#include's aren't that important.
But this whole thread is about #includes, no?I would focus energy on areas of the manual where effort provides the most bang for the buck. As your remark suggests, this particular area is low priority. Also, given what I've seen in the thread so far, the proposed change could even yield a negative return overall.
