rc.lua: unused options deleted