“No stop in Prague bears Vaněk’s name yet, however, bus lines 133, 267, 908 and 909 are starting to stop at new stops named after the nearest street, which bears the name of his first wife Olga Havlová,” the post added. The street and bus stop are named Olgy Havlové due to Czech grammar.