We installed our Production JIRA and days afterward, a user noticed that his filters were gone that allowed him to see the gadgets that he had setup on his Dashboard. When we look at Dev, it appears fine. Is there a way to move the filters from our Dev to our Prod?