Looks like @menotwell hasn't received any replies!