This directory contains miscellaneous stuff that doesn't fit into the other
directories.