@preinheimer Oh damn. Inattention to twitter for many hours strikes again.