Fix #11466: old link to bug tracker