Avoid loading the same documentation file twice