Otoh, I can't see your replies in gossip. So... Otherwise I'd be posting my adventures in trying to install notedeck here... (Cargo gets egui-winit, which wants a newer rustc (!!) than the Ubuntu install, so now I'm trying to use rustup. Which doesn't do anything until you read the docs...)