Post on ROS Answers: apt update: signatures were invalid: F42ED6FBAB17C654.

With a sort-of acceptable work-around for those in dire need of .debs.