release-20.2
Editor polishing (icons, menu focus, translations) (#131)
Profiling data can now be captured and written to a file in the background