Rename elder to leader

As per [new naming](https://meta.discourse.org/t/poll-veteran-vs-leader/19454), rename TL4 from *elder* to *leader*.