Don't update design docs when no change has been made
Fix hint!