show favorite/grok buttons when not logged in
update cabal/freeze files