Explain version lint pragma