I didn't know about PenguinMod. I have been using Gandi IDE, which has a lot of really good features, but the lack of proper export functionality is a huge drawback for me. I might have to start using PenguinMod until Gandi improves their export function.