Is codepress [ http://code.google.com/p/jquery-codepress-plugin/ ] still the best option for color-coded, line-numbered, tab-catching syntax editing? Seems like the team developing it has lapsed.
edit: I'm looking for something I can fork/improve upon/integrate/push back to the community.