post-scripts

Scripts which have been included in blog posts.