Skip to content
GitHubGitHub (wiki)

Random questions

For real problems, see the Troubleshooting/FAQ page. This page is for random bs.


  • Q: How much time did you spend on this??
  • A: Roughly 2 months before it was merged into main branch. I pretty much spent all the time I had when not eating, sleeping, or studying.


  • Q: Why is the dock disabled by default?
  • A: It interferes with dragging to resize at the bottom edge, and the overview is superior anyway

  • Q: Why does the wiki use ii.clsty.link as domain?
  • A: See issue#28.