Make it easy to benchmark startup time
The startup time of GNOME Shell is important, and changes should only decrease the time and never increase the time. Therefore, it should be made easy to record these times for normal users. This should be documented.