enhancing options.html (and related) to store pinned tab data