flyingmutant opened this issue 2 years ago · 0 comments
Often we want to copy the content: for example it could be a list of servers with errors. Right now people have to do it via the Developer Tools, which is clearly sub-optimal.