--- doc/src/sgml/html/bug-reporting.html
+++ doc/src/sgml/html/bug-reporting.html
@@ -274,7 +274,7 @@
       frontend that shows the problem. (Be sure to not have anything
       in your <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > start-up file.)  An easy
       way to create this file is to use <SPAN
 CLASS="APPLICATION"
--- doc/src/sgml/html/app-psql.html
+++ doc/src/sgml/html/app-psql.html
@@ -249,7 +249,7 @@
 >psqlrc</TT
 > and <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 >) are
       ignored with this option.
       </P
@@ -1081,7 +1081,7 @@
 > file nor the user's
       <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file).
       </P
 ></DD
@@ -5945,7 +5945,7 @@
 > file or your
          <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file.
         </P
 ></BLOCKQUOTE
@@ -6152,15 +6152,15 @@
 >        The file name that will be used to store the history list. The default
         value is <TT
 CLASS="FILENAME"
->~/.psql_history</TT
+>~/.desk/psql_history</TT
 >.  For example, putting:
 </P><PRE
 CLASS="PROGRAMLISTING"
->\set HISTFILE ~/.psql_history- :DBNAME</PRE
+>\set HISTFILE ~/.desk/psql_history- :DBNAME</PRE
 ><P>
         in <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > will cause
         <SPAN
 CLASS="APPLICATION"
@@ -7238,7 +7238,7 @@
 ><P
 >      Alternative location of the user's <TT
 CLASS="FILENAME"
->.psqlrc</TT
+>.desk/psqlrc</TT
 > file. Tilde (<TT
 CLASS="LITERAL"
 >~</TT
@@ -7320,7 +7320,7 @@
 > file and the user's
      <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file before starting up.
      (On Windows, the user's startup file is named
      <TT
@@ -7349,7 +7349,7 @@
 ><P
 >     The location of the user's <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file can
      also be set explicitly via the <TT
 CLASS="ENVAR"
@@ -7366,7 +7366,7 @@
 > file and the user's
      <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file can be made <SPAN
 CLASS="APPLICATION"
 >psql</SPAN
@@ -7381,11 +7381,11 @@
 > release number,
      for example <TT
 CLASS="FILENAME"
->~/.psqlrc-9.2</TT
+>~/.desk/psqlrc-9.3</TT
 > or
      <TT
 CLASS="FILENAME"
->~/.psqlrc-9.2.5</TT
+>~/.desk/psqlrc-9.3.1</TT
 >.  The most specific
      version-matching file will be read in preference to a
      non-version-specific file.
@@ -7396,7 +7396,7 @@
 >     The command-line history is stored in the file
      <TT
 CLASS="FILENAME"
->~/.psql_history</TT
+>~/.desk/psql_history</TT
 >, or
      <TT
 CLASS="FILENAME"