documenting/exposing ServerError methods in Http.fsi