A good point. TIL gross profit only counts the cost of producing the product, but not payroll, taxes etc.

That same link does show a $900M traditional profit on $4B of revenue, so roughly a 20% profit margin. It is a decrease year over year, but still remarkably good.

At an estimated 12k employees, it's also around $360k in revenue per employee, which is pretty decent (though not top-10 for the tech industry).