New script switch '--no-time-sig', to avoid a time signature as an HTML comment.