Now that the hibernate.org infrastructure supports doc versions, should we remove the version drop-down from the info pages? Vlad I know you spent some time adding that; what are your thoughts?