Index: src/build_run.h
===================================================================
--- src/build_run.h	(revision 10585)
+++ src/build_run.h	(revision 10586)
@@ -34,6 +34,8 @@
 
 char *pcb_get_infostr(void);
 
+/* Author's name: either from the config system (typically from the design) or
+   as a last resort from the OS */
 const char *pcb_author(void);
 
 void pcb_catch_signal(int Signal);
Index: src/compat_misc.h
===================================================================
--- src/compat_misc.h	(revision 10585)
+++ src/compat_misc.h	(revision 10586)
@@ -31,7 +31,10 @@
 
 long pcb_rand(void);
 
+/* Gets the user's real name when available; normally shouldn't be used,
+   consider using pcb_author() that allows config override */
 const char *pcb_get_user_name(void);
+
 int pcb_getpid(void);
 
 char *pcb_strndup(const char *s, int len);