Merge pull request #93: Correct order of tab and window restore commands
Merge pull request #94: Handle (i.e. do not increase) zero-width windows
Merge pull request #95: No prompt for session auto-load when unloaded buffers exist
Explicitly credit Ingo for his work, also mention other contributions
Merge branches 'drop-args-filtering' and 'turn-off-menu'