I don't need a header either, but I suppose for people editing wikipedia it might be pretty useful. It probably makes sense for wikipedia to optimize for the people providing the free labour slightly more than they optimize for the readers.