Update linux INSTALL guides.

Add in section on background OT, formatting.