Merged with latex docs