Fix #1144: Doc links checked but not counted as usage