--- 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
@@ -1104,7 +1104,7 @@
 > file nor the user's
       <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file).
       </P
 ></DD
@@ -5991,7 +5991,7 @@
 > file or your
          <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 > file.
         </P
 ></BLOCKQUOTE
@@ -6198,15 +6198,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"
@@ -7285,7 +7285,7 @@
 ><P
 >      Alternative location of the user's <TT
 CLASS="FILENAME"
->.psqlrc</TT
+>.desk/psqlrc</TT
 > file. Tilde (<TT
 CLASS="LITERAL"
 >~</TT
@@ -7354,7 +7354,7 @@
 >psqlrc</TT
 > and <TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 ></DT
 ><DD
 ><P
@@ -7375,7 +7375,7 @@
 >) and then
      the user's personal startup file (<TT
 CLASS="FILENAME"
->~/.psqlrc</TT
+>~/.desk/psqlrc</TT
 >), after
      connecting to the database but before accepting normal commands.
      These files can be used to set up the client and/or the server to taste,
@@ -7419,7 +7419,7 @@
 ><P
 >     The user's personal startup file is named <TT
 CLASS="FILENAME"
->.psqlrc</TT
+>.desk/psqlrc</TT
 >
      and is sought in the invoking user's home directory.  On Windows, which
      lacks such a concept, the personal startup file is named
@@ -7446,11 +7446,11 @@
      major or minor release number to the file name,
      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.
@@ -7459,14 +7459,14 @@
 ><DT
 ><TT
 CLASS="FILENAME"
->.psql_history</TT
+>.desk/psql_history</TT
 ></DT
 ><DD
 ><P
 >     The command-line history is stored in the file
      <TT
 CLASS="FILENAME"
->~/.psql_history</TT
+>~/.desk/psql_history</TT
 >, or
      <TT
 CLASS="FILENAME"