Tighten language; add GitHub buttons