Rustdoc Settings Sync Autor: notriddle

By default, settings in rustdoc are stored as Site Data. If you're building documentation locally with cargo doc, this means that the settings will be separate for every single page, because Firefox treats every local file as a different site.

This add-on fixes that, allowing multiple rustdoc pages to use the same theme, and other settings.