After having used jenseike's settings for a while, I borrowed a Spyder3 calibrator from a friend and made my own measurements:
For my TV, these settings are quite a bit off, and to be honest it's made me question the value of using settings found on the Internet. TVs seem to be different enough to make it very hit-and-miss and borderline pointless.
After a few hours of tinkering with ColorHCFR, here's what I ended up with after doing a grayscale calibration:
This is what I changed:
Cell light: 9
I also tried calibrating primary and secondary colors, but I didn't really figure out the proper way to do it, and after discovering that it destroyed my white balance completely I got cold feet and reverted to jenseike's setting in that department.
My TV now looks noticeably better - I no longer see the green tint, and it seems like the dark grays are more natural and smooth. I'm gonna go back and adjust it a bit more, especially the small midrange elevation of blues and reds, which I'm fairly sure I can see with the naked eye as a purple tint to a certain color range (I'm not 100% sure though, so I might revert to these settings after all). I'm fairly happy though - the graphs look great, except the 0% and 10% IRE on the CIE graph, which is way up in the green area somewhere. There's also a slightly raised luminance, and the average gamma is a tiny bit low I guess.