Bash snippets, notes, how-tos, &c.