Extra stuff useful for OpenXPKI admins