The unofficial WordPress Plugin Directory
This plugin resolves the problem with formatting tags in comments.
