Gavin, you are correct. r3d's are proprietary and I am sure you were only being informational.
I have a few things that are my personal intellectual property as well. Nothing as big (yet) as redcode but I do understand the idea of keeping things to yourself to make sure that you can make a living from your hard work.
Open formats happen "after" someone has squeezed the best from it and then it makes sense to share around.