Stav dette: On the Manin–Mumford and Mordell–Lang conjectures in positive characteristic