/lively4-games/.options