**Feature summary** (what you would like to be able to do and where):
On mobile, using the edit button to edit the lead does not add a section link to the edit summary. Compare that with desktop where, if one uses the "Add an [edit] link for the lead section of a page" gadget, "/* top */" is added to the beginning of the edit summary. Mobile's behaviour should match desktop's, and its own when editing any other part of an article where a se
**Use case(s)** (list the steps that you performed to discover that problem, and describe the actual underlying problem which you want to solve. Do not describe only a solution):
**Benefits** (why should this be implemented?):
For the same reason this is implememted for the other section edit buttons. So it's obvious to anyone reading the revision history that the edit they are looking at only modified the lead section