add a comment on why doctests are disabled?