We should clarify that Linux no longer uses that version numbering system.