[void]

По первой части ничего не скажу, не сталкивался с этим расширением. А эти два файла в doc/ генерируются кикстартером. Я ни разу не видел, чтобы ими кто-нибудь пользовался всерьёз. Я их смело удаляю.