Fix to get the docs on the wiki (for creating IDEA files) working again.