/* Intentionally empty — F5 default theme covers everything this plugin needs. */