This is a tweak to <Someone>'s lens patch.
This adds <Someone>'s lens patch. This is probably it for me adding in any more user-contributed patches for 3.3.2 (except maybe coin flipping; does anyone object to it?) --Ken A.