Update stone: Rename digivice.rktl digivice.rkt