Some tools for those working on Linux...