Merge branch 'mauro-warnings' into docs-next