Full threadrickstanley·What is that "# $Id$" at the top? Just a comment or serves a purpose?View on HN