It seems there are no macros for typesetting "MikTeX" and "TeX live". Is that intentional? Thanks, Erik