Reprint of: Is the projective cover of the trivial module in characteristic 11 for the sporadic simple Janko group J4 a permutation module? | Synapse