Show warning if docs are for a dev version (fix #745)