To make filling the wiki easier, you can copy-paste tables
from wikidot into a format that our own wiki can understand.
Copy the table and paste whatever that gives you into the box.
The code that comes out can be copy-pasted into our wiki
editor to recreate the table.
Only the first line is treated as a header. If there
is more than one header, add it manually in the wiki editor.
Any links need to be manually added. The converter only gives back plain text.