You're correct, but in the interest of:
We’ll discuss these topics only briefly here, pushing most details off to later chapters, since the primary goal right now is to give you an idea of what Go looks like...
it's probably clearer to use the default random source.