TOTP.Make_HTML_Responses
This functor creates module with RESPONSES
in HTML format
module S : HTML_settings
This response is used to display all kinds of errors
This response is used during TOTP setup. During this step users are provided with a secret, which he needs to put in his OTP-generator.