filter the linux kernel - remove Documentation