Google: We Rank /page & /page.html Separately If Content Is Different

As many of you know, since you are advanced technical SEOs, /page and /page.html technically are different URLs and different pages. But often, web servers are configured to make the page the same, so if you go to /page or /page......