Disable scroll bars and start week on monday.
Ignore server socket.
Add machine specific settings in a separate file.