Re: [Hackage] #544: symlink-bindir should really be a user/global option rather than in the main section