Konne's suggestions
Merge branch 'master' of github.com:uw-plse/uw-plse.github.io

Conflicts:
	au14-rg/index.md
Merge branch 'master' of github.com:uw-plse/uw-plse.github.io