I understand that publishers are still hesitant to commit resources to actually supporting audio tools on Linux. But it would be a tremendous service to the community if you could even provide indication of which tools/instruments have been tried under Linux, whether there are any suggested tips to make them work better, and whether there is any hope or we should move on to something else. Please?