=== mariogrip_ is now known as mariogrip [10:18] all summaries now completed [16:21] we include how-tos when they're demonstrating a new thing, like "new feature in this software, here's how to use it!) [16:22] importing ssh keys, not new :) [16:43] jose: thanks doc all done?