I don't think we need any of the above as it's covered on other pages and isn't specific to Windows.