Configuration for the official Web eID extension for Firefox and Firefox ESR.
