GitLab

Lab 4 design document had some ^M characters that somehow had survived
from an earlier DOS/Windows version of the file.  Fixed.