mildly cleaner profiling code in util::time
scripts from inactive pipelines resize upon navigating to their pages