[Termtools] Examples contextsensitive

[Aart Middeldorp]

Dear all,

Why are we having this discussion? I quote the ruling by the
SC (announced on the portal):

> To cut this discussion short, I hereby rule
> that each team may submit up to 10 new termination
> problems per category that it is registered for
> (where "X-certified" and "X" count as one category)
 >
> Deadline for these submissions is Friday October 31, 10 a.m. CET
> (= tomorrow morning)

According to an earlier mail of Simon, Jambox is registered
for the context-sensitive category, so the rule applies.
Period.

Cheers,

Aart