Annotations and collection of results for motivic homotopy theory.