I'd like to re-enable collection of some finely grained profiling data, but the current technique just prints to the standard output, and that ends up spamming the message console. It would be good to find some way to write this data quietly to the wpilog.