Mainly cosmetic changes to get the OTP version of edoc in synch with my development version (https://github.com/richcarl/edoc). git fetch git@REDACTED:richcarl/otp.git edoc-synch /Richard