R1:903d71e67d84

Workboard: Milestone Name easily editable (instead of surfing 3 pages)

Summary:
After this change, a new input field "Milestone Name" appears in the "Edit" menu of a Milestone:

| Before | After |
|-----------|-----------|
| {F314008} | {F314005} |

So you can quickly change the name of your Milestones, from a Workboard.

Before this change, from a Workboard, this was the way to rename a Milestone:

1. click on the Milestone name (yes, that is a link)
2. click on Manage
3. click on Edit Details
4.