Juans hat

Replaces #2218. Fixes merge & indentation issues and sharpens the lost hat poster.