[Hackage] #401: better support for multi-valued configuration flags