Thread:Quick/@comment-19364860-20140817173521/@comment-19364860-20140817180855

I don't see it as much of a problem, I can always just scroll back to it. I guess it depends on which we think is more convenient. I'll leave a documentation in case someone tries to use it.