A local bar hosts a programmer's meetup I organize. Recently they switched out their projectors such that the only accessible connections are now Wi-Fi (formerly I used a wire to HDMI/VGA ports.)
How do I go about connecting to a projector via wifi on Linux?
I'm using a Thinkpad T460, with Ubuntu 19.04 (Disco, the current version of Ubuntu).
$ NetworkManager --version 1.16.0
This answer describes solving the problem by installing Miraclecast on Ubuntu.
Unfortunately the MiracleCast PPA it references has builds available for many older versions of Ubuntu, but not for 19.04, which the question specifies.