I think it’s a rather old-fashioned British term. I haven’t heard it for years, but it used to be fairly common in sufficiently nerdy circles over here.