Dear Maintainer,

*** Reporter, please consider answering these questions, where appropriate ***

   * What led up to the situation?
I was trying to read Bash documentation.

   * What exactly did you do (or not do) that was effective (or
     ineffective)?
{ exec tidy</usr/share/doc/bash/bash.html; }

   * What was the outcome of this action?
line 3 column 1 - Warning: missing <!DOCTYPE> declaration

   * What outcome did you expect instead?
<!DOCTYPE> declaration

*** End of the template - remove these template lines ***