Previous commit didn't actually remove some garbage files that I wanted
to get rid of (my inexperience with git). However, not they are
officially removed.

Also updated some kind of project info file.