Pphpete@phpete1·7h7498614Is there any reason why commits can't be edited on here? Is it worth me submitting a PR?1Quote
GWGarrett W.@garrettw·7h0da1f69Design choice by the creators. That’s all I know.23:00 · Oct 30, 2026 · commit 0da1f691QuoteReply