Talk:List of F4 polytopes