The JS repo for hiding the Web IDE button loaded through the Code Studio - View it on GitHub