A 4-year-old boy has a generalised tonic–clonic seizure lasting 3 minutes associated with fever of 39.5°C during an upper respiratory tract infection. He returns to baseline quickly afterwards. There is no focal neurology and he is fully recovered in the emergency department. What is the most appropriate management?