Fixing issues with saving starred story tags on ios. Nearly ready.
Better zgrep.
Custom headers for saved story tags.
Fixing issue with off-by-1 numbers when changing tags. Also hiding tags with no stories.
Adding a tag. Ship it!