Simpler banner comments
Update to latest Rust