Note that they recently were hiring someone to work on the Galaxy launcher for Linux