Converted files are now included in the repository.