Fixed problems with GitHub .gitignore excluding some project folders (phew!); began work on restore session support