Looks like @komchi hasn't received any replies!