Diff ksokoban-0.5.0_pre20210905 with a ksokoban-9999

Thank you!