This directory contains code that I got rid of but that might become useful again in future.