[xwiki-devs] About the AdminTools extension