Updating of Linux docs