# Please put the names of the people who wrote or contributed
# to this extension here
# You can use HTML tags in this file. All HTML tags will be ignored if this
# file is output to the text console. The only exceptions are <br> and <p>
# which produce one or two newlines where appropriate.