Delete raspi-config.docs