minor formatting, auto-profile actions and views; tweak how timings are shown