Remove documentation of § in favor of `