def add_heading(self, text):
    self.html += '<div class="heading">%s</div>\n' % (text)
List available postgresql extensions
dataset/ETHPy150Open graycatlabs/PyBBIO/bbio/libraries/BBIOServer/bbio_server.py/Page.add_heading--crossover with--dataset/ETHPy150Open saltstack/salt/salt/modules/postgres.py/available_extensions