25.4.0
Split out Mypy-dependent typing examples, add more type checkers (#1474)
De-dup typing examples names; fix PR template