[Havoc]

The 0.25*4 multiplication factor is a real masterpiece. I guess they let a slightly high intern yolo this?

[rsynnott]

Or a magic robot; it feels like the sort of completely pointless thing that LLMs like to put in.