Copy various hulab wiki extensions into Git working copy

Files were moved with the finder… may not be the right way to do it.