Replace <tip> with <note>

The old tip plugin we used has not been updated in years and does not work with the latest version of DokuWiki.

However, we found another plugin that is similar, the Note plugin. We installed it and it seems to work well.

Instructions

If you do not have a wiki account yet, request one, email contact@geodesicsolutions.org
In the wiki, search for <tip>.
Visit a page. Note: if it is this very page, skip it since you will find <tip> in these instructions!
Edit the page, and swap out the <tip …> for <note …>
Also replace the </tip> with
```
</note>
```

Variations:

Most of the time the <tip> will have letters after it, for example <tip c n>. Here is how to interpret the letters:

c - centered - ignore the letter, cannot set alignment in the new notes.
l - left aligned - ignore the letter, cannot set alignment in the new notes.
r - right aligned - ignore the letter, cannot set alignment in the new notes.
n - note - use
```
<note>
```
w - warning - use
```
<note warning>
```
i - info - use
```
<note important>
```
h - hint - use
```
<note tip>
```
Note: in any of the above, feel free to use best judgment when replacement. For example, if the contents seem really important fell free to use
```
<note important>
```