[dev] Better progress messages.
[dev] Trace messages in gray.
[org] gitignore update.