Eboard-extras are packages of piece themes and sounds ready to be used with
eboard. They're optional (eboard works without them).