DEFCONSTANT*: add documentation (commentary) about an issue and a known workaround