proj: updating .gitignore, other tidying