Synchronizing local and GitHub as it seems not all files got uploaded in
the first attempt.