Random Snippets This is the place where I keep random snippets I want to put on GitHub. Koen 2018-08-01