Placeholder for the original user agent in user-agent option of manifest file

[spacevoyager78]

Hi! user-agent option of manifest file has the following placeholders according to docs: %name, %ver, %nwver, %webkit_ver and %osinfo. Could we have another placeholder named %user_agent that would hold the original user agent string, so that we could use it to add any extra info?