[jboss-identity-issues] [JBoss JIRA] Work stopped: (JBID-72) Convert idm wikis into docbook, and using jdocbook plugin