[mono-api-html] Make --ignore-changes-virtual less lenient.