On Thursday, 2 July 2015 at 18:34:13 UTC, Paul wrote: > On Thursday, 2 July 2015 at 17:41:45 UTC, Gary Willoughby wrote: >> >> This is exactly why you use dub, so you don't have to worry >> about all this! > > You're right, there's sufficient information there if using dub. Please read that page again.