Fixes #26: shuffle tags in tags widgets on each showing.