Thank you for this feedback! Heard from other folks the menu bar is redundant too - will kill it in the next update and fix the F13 issue.

And interesting re: history - it does have the option to clear, but you’d want that as a setting?

Trying to keep the amount of settings to a minimum - personally finding it overwhelming when apps have too many bells and whistles lol