A troll is a troll, regardless of ML hierarchy ... or vocabulary. He's stated numerous times he has no intention of doing anything useful with his ideas, merely to pick at increasingly pedantic nits. Send him to Theo or Stallman if he wants to argue the fine points of word meanings. Tim