`performance` doesn't exist in Safari

Also doesn’t appear to exist in mobile Chrome, but that’s neither here
nor there since it was just some profiling code anyway.
More UI cleanup.