Skip to content

Duplicated HTML fragments for the version selector

Duplicated HTML fragments for the version selector for desktop and mobile are too massive in terms of data transfer and DOM operations.

They might be introduced in !813 (merged).