virtual

Note that for specific problems that you believe need to be fixed, like bugs or lack of documentation, there’s a public bug tracker.