@abcdw Oh that is great. Thank you for going out of your way to tell me! :) Now I can finally adjust my documentation generator to produce @deftp instead of @defvar. Yeeey.