Template:ReplaceAsterisks

Replaces asterisks with heavy asterisks.

We like heavy asterisks for writing things like 0..1➞✱, because it's centered better than an actual asterisk.

If we find there isn't wide browser support for heavy asterisks, we could change this template to replace asterisks with <nowiki>*</nowiki>, without breaking anything; the normal asterisk indicates a bulleted list on a wiki.

Due to implementation details, if the string passed in starts with or ends with "$$GARBAGE$$", the results may not be as expected, $$GARBAGE$$ is used to prevent leading and trailing asterisks from being lost.