add menu Settings/Advanced Options (fixes issue 2264)