Starting work on the bisimulation-up-to pages