Looks like @loeren hasn't received any replies!