I find it interesting that you chose that particular response to share here. My response to the newbie question was much more accurate and less deceptive:

"On the Dutch side, you will often find that 15% service is added as a separate line item on the check. Your server may tell you that's not the tip, but it is. If you choose to add more, that's up to you. If there is no service charge added to the check, then tip as you would in the US. On the French side, service is included in the cost of the meal. Again, if you choose to leave a little more, that's up to you."