Readd logout button that mistakenly got deleted during merge.