Spider repellent

According to the Thirteenth Doctor, spider repellent could be concocted from peppermint and tea tree oil diluted with water. (TV: Arachnids in the UK)