What is the correct name for a Drupal 8 theme front page file (theme file)?

Drupal 8 FAQ: If you want to create a separate theme page for your Drupal 8 theme, what is the correct name of the front page theme file?

I think there are other variations of this, but I use this as the name for my Drupal 8 theme front page:

html--front.html.twig