This is simply a restoration of #1615. The HTML document title was removed in commit 0b00e6f, and unless there is a specific reason for its removal, it would be better to re-add it.
This is simply a restoration of #1615. The HTML document title was removed in commit 0b00e6f, and unless there is a specific reason for its removal, it would be better to re-add it.