Improved documentation of MIHAESKey.