As asked for in bug 72374, bookmarklets (javascript bookmarks) should have a different icon than normal bookmarks. I figured out a way to hack the userChrome.css to do just that. See my comments in the bug. This rocks!
Day: September 6, 2002
Phoenix: bug reports welcome
Bug reports are wanted. But only if the bug is specific to Phoenix. If it’s a core Mozilla bug that happens to affect Phoenix (like a layout or toolkit bug) then it probably belongs in the appropriate Mozilla component.
He also pointed to the Phoenix Project Page. The readme/FAQ seems to contradict Asa’s comments, so you might take everything with a grain of salt.