This directory contains extra developer documentation.