It's bizarre that the Alacritty server port is configurable but the included web server's port is not

[ctrlcctrlv]

alacrity/src/Main.hs

Line 37 in 37aebe4

serveWeb 3333 pageState

3333 is an especially bad hardcoded default port, because users are likely to choose any easily remembered port number like that.