Crafty is a chess program which is not free software due to restrictions on its use. Its author says it is included in Debian. Is it in the non-free section, or the main section?