-## defined: * `{perc}`: Percentage as a string like `[10%]`. *
-## `{perc_raw}`: Raw percentage, e.g. `10`. * `{current_title}`: Title of
-## the current web page. * `{title_sep}`: The string ` - ` if a title is
-## set, empty otherwise. * `{index}`: Index of this tab. * `{id}`:
-## Internal tab ID of this tab. * `{scroll_pos}`: Page scroll position. *
-## `{host}`: Host of the current web page. * `{backend}`: Either
-## ''webkit'' or ''webengine'' * `{private}`: Indicates when private mode
-## is enabled. * `{current_url}`: URL of the current web page. *
-## `{protocol}`: Protocol (http/https/...) of the current web page. *
-## `{audio}`: Indicator for audio/mute status.
+## defined:
+## * `{perc}`: Percentage as a string like `[10%]`.
+## * `{perc_raw}`: Raw percentage, e.g. `10`.
+## * `{current_title}`: Title of the current web page.
+## * `{title_sep}`: The string ` - ` if a title is set, empty otherwise.
+## * `{index}`: Index of this tab.
+## * `{id}`: Internal tab ID of this tab.
+## * `{scroll_pos}`: Page scroll position.
+## * `{host}`: Host of the current web page.
+## * `{backend}`: Either ''webkit'' or ''webengine''
+## * `{private}`: Indicates when private mode is enabled.
+## * `{current_url}`: URL of the current web page.
+## * `{protocol}`: Protocol (http/https/...) of the current web page.
+## * `{audio}`: Indicator for audio/mute status.