renamed /doc to /extra (include various files anyway)