Merge pull request #1590 from woogles-io/league-notification-fix

fix notification email logic

Merge pull request #1363 from woogles-io/buf-update

Buf update

Merge pull request #1360 from woogles-io/housekeeping

Housekeeping

Merge pull request #1349 from woogles-io/word-golib-update

update to newest macondo and word-golib

Merge pull request #906 from domino14/pb-updates-2

a couple of small pb updates

Merge pull request #166 from andy-k/do-not-reload

do not reload

trim username

select play tab on login; style disconnected socket indicator