* profilers/Profiler_extra.tex.nw: