hasktags was dropped in GHC 6.12, remove it from the docs