Jira: Rename a filter

I was looking for it today: How to rename a filter in Jira. It isn't obvious.

This seems to be an example of poor UX in Jira (come on Atlassian, you can do better). 

The best way I could find (and it seems to be the most common answer) is to when viewing a filter to click on Details and then Edit permissions:

Then you can edit the filter name:

Tip: To make a subfilter robust to renaming you might prefer to reference to it by its filter Id rather than the filtername i.e. use filter=filterId rather than filter='filterName' in the JQL.