Miscellaneous

All sort of (fragmentary) applied snippets.