dmoj problem labels?

[SansPapyrus683]

Place an "x" in the corresponding checkbox if it is done or does not apply to this pull request.

• I have tested my code.
• I have added my solution according to the steps here.
• I have followed the code conventions mentioned here.
  • I understand that if it is clear that I have not attempted to follow these conventions, my PR will be closed.
  • If changes are requested, I will re-request a review after addressing them.
• I have linked this PR to any issues that it closes.

tries to close #3756, probably fails tho

[ryanchou-dev]

add these diff sources under problems.ts, so that we have the dropdown + message when edi doesn't exist.

[SansPapyrus683]

uh the editorial sources are still listed under dmoj so

shouldn't it read from here

[ryanchou-dev]

uh the editorial sources are still listed under dmoj so

shouldn't it read from here

nah like on the problem table, the source name dont have the hover thing

likely fine, but just to be consistent

[SansPapyrus683]

ok just wait a lil

[SansPapyrus683]

ok i added dmopc, which like 80% of the problems come from

[ryanchou-dev]

ok sounds good... maybe someone from web dev could approve