Robert Hildebrandt

Suggestion: Support Shortcuts

1

Greate when you found a new useful shortcut and want to not it in the journal Example in Github Markdown: Ctrl + Alt + Space ([source](https://gist.github.com/bittner/f3e2804e06c663510e939ca569ee483e))

This fixes a crash when using custom material with gorilla

Feature Request: Option to start the timer minimized

1

I've configured windows to start the timer with as soon as windows is started. But I couldn't find an option to start the timer minimized. FeatureRequest: - [ ] Add...

`PUSH(PEEK)` is currently [undocumented behavior](https://pest.rs/book/grammars/syntax.html#the-stack-wip)

Linux arm64 build is actually an x86_64 build

3

I tried executing the newest z3 release on my raspberry pi, but the executable seems to be built for x86_64 ## How to Reproduce the issue ```sh wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-arm64-glibc-2.35.zip unzip...