Gustavo Lima Chaves

Either to their projects or the https://github.com/python/typeshed one (figure out the rationale for which one is easier/the right way) with each upstream project.

Without this move, the main UI could show info and feed entries with crude HTML marks, as in "&#8220". Translating that at the source is the best move, since they...

This enhances the profile tool with two main tracks: - offline symbol resolution capabilities and - PSI threshold trigger mode, for always-running profiling capabilities

This PR fixes the issue where the local streaming device was not included in the device list popup.