Tent lights arrived! These are great, should just hang from the loops on the tarp and in the tent. £12 on Amazon for four, take three AAA batteries. Don’t look fully waterproof but there’s not really much to go wrong and the design should keep water out.