Push the 1.2 doc pages in front (to be sync'd with opam2web PR)