Background docs have error about which type check level enables compiler to tell whether BG code references something not in BG: Status History

Below is the history of changes to this idea's status. Return to the idea.