Replaced \tag{*} with \tag{$*$}, restored the more sane defaults and replaced fancyref by the command \autoref of the hyperref package
Merge branch 'revisited'

The sane defaults are quite good.