This directory contains documentation that is not useful for our users but might be useful for developers.