***sethalve_ is now known as sethalves
***petercom1and is now known as petercommand
***dje is now known as xdje
***cluck` is now known as cluck
<davexunit>now you can quickly serve up the html version of that texinfo manual you've been writing without resorting to using one of those *other* programming languages