Category:8D polytopes without OFF files