Developer Notes

The following pages contain useful information for developers about testing, debugging, the actual state of the code, etc.