> Speaking of license, I would think it would be good if you actually mention > GPL in the source instead of just in the LICENSE file. An excellent idea. I will do so.