A 2-year-old boy has a generalised tonic–clonic seizure lasting 3 minutes in the context of a temperature of 39°C from an upper respiratory tract infection. He recovers fully within 30 minutes, with no focal signs. What is the most appropriate management?