/* Placeholder to satisfy legacy `WebExtensions-API-Support.html` stylesheet link. */