[gambit-list] Profiler still up to date?