Re: 15 seconds to fontify index

[Eli Zaretskii]

> From: Chong Yidong <address@hidden>
> Date: Mon, 02 Apr 2007 00:30:14 -0400
> 
> For post-22, we definitely want to rewrite Info to use font-lock.

IMHO, just waiting for machines to become faster will consume much
less energy (freeing our scarce resources for more important work),
with the same net result.

Anyway, if you think it's a worthwhile job, please add it to etc/TODO,
otherwise it will surely get forgotten.