框架环境中的脚注

Question

前段时间我问过如何使用脚注环境，并得到了很好的建议。但我也想知道如果我需要使用 2 个或更多脚注会发生什么。我知道我很快就会遇到这样的问题。现在就发生了这种情况。我尝试了小文本

\documentclass{amsart}
\scrollmode
\usepackage{xcolor}
\usepackage{xr-hyper}
\usepackage[unicode]{hyperref}
\usepackage{framed}


\newenvironment{Shaded}{%
\def\FrameCommand{\fboxsep1pt \colorbox{shadecolor}}%
  \MakeFramed {\FrameRestore}}%
 {\endMakeFramed}

\numberwithin{Hfootnote}{section}
\numberwithin{footnote}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}[theorem]{Definition}
\newenvironment{ShadedDefinition}
{
\definecolor{shadecolor}{rgb}{.94,.94,.95}%
\begin{Shaded}
\begin{definition}
}{%
\qed%
\end{definition}%
\end{Shaded}%
}

\begin{document}
\title{Test File}

\begin{abstract}
In this paper I test footnotes in framed environment.
\end{abstract}
\maketitle

\section{S1}
\begin{ShadedDefinition}
Let $A$ be algebra.
The norm\,\footnotemark
on module $A$ such that\,\footnotemark
\[\|ab\|\le\|a\|\,\|b\|\]
is called norm on algebra $A$.
\end{ShadedDefinition}
\addtocounter{Hfootnote}{-1}
\addtocounter{footnote}{-1}
\footnotetext{
If algebra $A$ is division algebra,
then norm is called
absolute value
and we use notation $|a|$ for norm of $A$-number $a$.
}
\stepcounter{Hfootnote}
\stepcounter{footnote}
\footnotetext{
The inequality
\[\|ab\|\le\|a\|\,\|b\|\]
follows from the theorem
...
}
\end{document}

输出结果与我预期的一样。但我看到了一个意外的错误。日志文件报告我

pdfTeX 警告（目标）：名称{Hfootnote.1.1} 已被引用但不存在，已由固定名称替换

我发现引用 1.1 已被禁用。我还看到了其他错误：

pdfTeX 警告（ext4）：具有相同标识符（名称{Hfootnote.1.2}）的目标已被使用，重复项被忽略。