The workshop content is divided into two directories. The doc directory contains the documentation sources. The src directory contains all of the sources that will be used by workshop participants ...