Update Linux instructions and ensure proper navigation menu