Mat

I have a similar issue. When listing files in /usr/bin/ I will get different results on my normal Terminal versus Terminus which correspond to which commands are recognized in each...

Running into the same issue. Attempting to run `saito_rust` on the suggested branch with the boilerplate configuration files yielded as per @thaodt 's recommendation yielded: ```console mw@system:~/saito-rust$ git checkout remotes/origin/network_refactor_david2...

Also great for nightmode devs!

Could then remove the branch which throws an error, and it will send an empty message instead. BUT it's worth noting that code change is already within a `try` block....

Seems to be very specific the OS. Works without a hitch on an Arch distro. KUbuntu (latest build) is where this issue persisted. Could be a weird configuration or something...

Figured out if you *zoom in* the `.ace_container` div the inverse proportion you *zoom out* the rest of the html that the editor will keep its proper mouse tracking. Finally...

This would be very useful. Untrusted F* could be shared with the minimum `rlimit` required to succeed and skeptical parties would have an upper limit on 'time wasted' if it...