I spent so much time on these commits...

Github didn't allow me to upload the .ogg video file (which exceeds 100 MB). I somehow got terribly lost and end up having to git reset --hard HEAD.