But, the documentation doesn't go in depth to explain how to uninstall Sourcetrail on Linux. Is it true that all I need to do is delete the /opt/Sourcetrail folder on the Ubuntu computer? Are there ...