@svidgen Grr. This is not what that close reason is for! (And people wonder why this site has a nasty reputation for hostility. Some people seem to just spend all day looking for some excuse to close things, trying to reshape this site into something it was never meant to be.) — Mason Wheeler 3 hours ago