header changed

51 jobs for 1805-logout-header in 48 minutes and 59 seconds (queued for 5 seconds)