Optimization, and help for future optimizations in the form of profiling (well, sort of) in the interface. The latter is to be removed before any release, or at least hidden rather well. Rev: server/config_interface/standard/template:1.83 Rev: server/etc/modules/Variable.pmod/module.pmod:1.43 Rev: server/modules/configuration/config_tags.pike:1.128