Merge branch 'page_colouring_despair'