Rust Doorsharing Servers, page 11