sed -E not in man, use -r
Tweak repo edit header.
Merge branch '14.04' of git://github.com/convissor/ubuntu_laptop_installation into 14.04

* '14.04' of git://github.com/convissor/ubuntu_laptop_installation:
  Install Exuberant Ctags from source.  5.8 has bugs.
  Add gnome-player