Can we repeal and replace prboom+ yet? It's named for a coder who has been gone for decades, and has a suffix denoting it as a fork by another coder who has also been gone for years. It is also very Google unfriendly.