Why is this called `HTTPException`? `SyncException` is a better name.