1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
2<html>
3<head>
4<title>[ 603128 ] tidy adds newlines after </html></title>
5</head>
6<body>
7There is exactly one line-ending after the </html> -
8older versions of Tidy will add an additional line-ending.
9</body>
10</html>
11