TexStudio 2.12.16 Released, but should #deletegithub http://ubuntuhandbook.org/index.php/2019/05/texstudio-2-12-16-released/
ubuntuhandbook.org
Get replies from creators like Dr. Roy Schestowitz ...