[dman]

Thanks for taking the time to write such a detailed comment!

[kuschku]

It’s honestly not much effort – I was compiling a new version of my app when I wrote it, and the last change I had done was the size of a button, because people complained about it. So I happened to have all the documents open by luck :)