Avoid duplicate error report when renaming HsDoc stuff