Category:4D polytopes without OFF files