Snippets This is a hopefully growing collection of possibly useful snippets. Use it if you want or must, but be cautious as you do so.