update datecheck

Author: lcnr

src/solve/canonicalization.md

@@ -3,7 +3,8 @@
 While the exact approach to canonicalization for this solver will differ slightly
 wrt to lifetimes, please visit [the relevant chalk chapter][chalk] for now.
 
-As of 10<!-- date-check --> January 2023, canonicalization is not yet fully implemented
+<!-- date-check: jan 2023 -->
+As of 10 January 2023,  canonicalization is not yet fully implemented
 in the new solver.
 
 [chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization