Comment 3 for bug 1917084

My branch for bug 1187993 incorporates the Mike's instructions into the documentation. Should this be considered a documentation issue? If so, does it make sense to mark this as a duplicate, and the documentation PR can be reviewed as a potential fix for this bug?