What was the effect of Rand Paul’s 10-hour “filibuster?” (arstechnica.com)