[texhax] Add space and separator except at top of page in LaTeX

[Philip TAYLOR (Ret'd)]

Reinhard Kotucha wrote:

>  > 	\leaders \hrule \vskip 0,4pt
>       This should be a period   ^

What ?!  Knuth explicitly allows decimal commas /and/
decimal points, unlike CSS !  "0,4 pt" rules OK :-)
(Oh yes, and Knuth allows spaces before the unit while
  CSS does not : Knuth 2, CSS 0).

** Phil.