I am working on documentation for the export tests and other tests (e.g. check_load).
Kornel and I have often discussed ideas for tests we would like to implement in the future, and now that others are running the tests they might come up with ideas also. I have the feeling that these ideas do not belong in Development.lyx. Would a good place be a new file in development/autotests/TODO ? Scott