Add some basic hints that it is possible to use GitExt on Linux.