See updated comment: Short form was approved! Just after GA of the 4.14 docs. ffloreth@redhat.com I forwarded you the email conversation for your records.

rhn-support-shdiaz said: We cannot use "MicroShift". Our PM requested the short form, but unfortunately, we have to use "Red Hat build of MicroShift" for the moment. The OPL spreadsheet is here: https://docs.google.com/spreadsheets/d/1DLS_lS3VKidgZIvcLmLp9BoiqptkvqHWfe1D5FD2kfk/edit#gid=1375785039. Components, portals, and tools, row 6. If I hear that we get the short form, I'll let you know.