DevDB manual corrections reports

[td928]

147 One reviewer

Add two very simple checks for manual corrections for devdb page. The detailed of how those checks are created in devdb and their purpose can be read here.

Also added st.cache to avoid repeated data loading to slow down the toggle between different options.

[td928]

I really need get out of my habit of casually throw in a change in unrelated PR (thinking pluto devcontainer) and doesn't generally seem to work out @abrieff @SashaWeinstein

[SashaWeinstein]

Merged cause Te is out sick