at least i think git for windows works on linux now :) a terminal showing a few git commands, the currently running one is "git push", there is a fork of LibreX, a framework-less and javascript-free privacy respecting meta search engine</Description> <InputEncoding>UTF-8</InputEncoding>