Better comments for extension files