Zaslat SMS: On the Manin–Mumford and Mordell–Lang conjectures in positive characteristic