Update perf.rkt now that only one implementation.
Fix HTML processing.