by stink on Jun 20, 2023 link
lol, I guess you're right, usually you can drag the bottom right corner of textareas to grow them.