This directory contains useful but not necessary stuff which had not
been developed within this project.