(sbpl_interface) merge in docs