It's my impression that gross profit includes marginal costs, but not overhead.

I can't speak for the author, but every SaaS company I have been involved with had marginal costs such as customer support. When you are a tiny company and these tasks are performed by founders you could perhaps roll these costs into overhead and claim 100% gross profit. But as a growing company it would become clear that you need to hire someone for every X customers.