Comments up/down, new search
Commenting availability’s going to be erratic while I’m tinkering behind the scenes. Apologies for any inconvenience.
Update: tinkering continues
In other news, the old site search bar in the upper right’s been removed in favor of a Google search box, which you’ll see on the left-hand column. Among other problems, the site’s search was fairly good at finding posts, but if you wanted to dig up an old comment you vaguely remember as really interesting, you were SOL. So this tweak is dedicated to Rusty and Jim Osmer.
USSM Labs — we’re like a less-innovative 3M, if 3M only had four people and they were all Mariner fans.